logic for programming, artificial intelligence & reasoning (9783540755586) (39)
fundamenta informaticae (27)
theoretical computer science (21)
communications of the acm (9)
journal of symbolic computation (8)
acm transactions on computational logic (6)
american mathematical monthly (6)
applied mathematics and computation (6)
electronic notes in theoretical computer science (6)
ieee transactions on software engineering (6)
logic journal of the igpl (6)
mathematics magazine (5)
discrete mathematics (4)
entcs: electronic notes in theoretical computer science (4)
international journal of computer vision (4)
pillars of computer science (4)
siam journal on discrete mathematics (4)
the bulletin of symbolic logic (4)
2017 14th iapr international conference on document analysis and recognition (icdar), document analysis and recognition (icdar), 2017 14th iapr international conference on, icdar (3)
applicable algebra in engineering, communication and computing (3)
information and computation (3)
information processing letters (3)
journal of biblical literature (3)
natural computing (3)
plos one (3)
scandinavian journal of psychology (3)
2013 12th international conference on document analysis and recognition, document analysis and recognition (icdar), 2013 12th international conference on (2)
2015 13th international conference on document analysis and recognition (icdar), document analysis and recognition (icdar), 2015 13th international conference on (2)
ancient indian leaps into mathematics (2)
annals of mathematics & artificial intelligence (2)
annals of mathematics and artificial intelligence (2)
bit numerical mathematics (2)
bulletin of symbolic logic (2)
european journal of combinatorics (2)
formal aspects of computing (2)
information and control (2)
journal of archaeological science: reports (2)
journal of logic and computation (2)
language, life, limits (2)
languages: from formal to natural (2)
new computational paradigms (2)
programming logics (2)
pursuit of the universal (2)
term rewriting & applications (2)
theory & applications of satisfiability testing (9783540262763) (2)
formal aspects of computing: applicable formal methods (1)
mcgraw-hill encyclopedia of science and technology (1)
natural computing: an international journal (1)
philosophical transactions of the royal society a-mathematical physical and engineering sciences (1)
philosophical transactions: mathematical, physical and engineering sciences (1)