logic for programming, artificial intelligence & reasoning (9783540305538) (50)
perspectives of systems informatics (45)
computer science - theory & applications (9783540745099) (41)
logic for programming, artificial intelligence & reasoning (9783540482819) (39)
logic for programming, artificial intelligence & reasoning (9783540755586) (39)
logic for programming, artificial intelligence & reasoning (36)
logic for programming & automated reasoning (23)
journal of automated reasoning (17)
transactions & change in logic databases (13)
automated reasoning (8)
theoretical computer science (8)
journal of symbolic computation (6)
acm transactions on computational logic (5)
information and computation (4)
otdelenie matematiki, mekhaniki i kibernetiki akademii nauk ukrainskoi\ ssr. kibernetika (4)
15th annual ieee symposium on logic in computer science (santa barbara, ca, 2000) (3)
acm computing surveys (3)
ai communications (3)
akademiya nauk sssr. sibirskoe otdelenie. institut matematiki. vychislitelʹnye sistemy. sbornik trudov (3)
annals of mathematics and artificial intelligence (3)
automated deduction---cade-23 (3)
automated reasoning. part i (3)
computer science logic (3)
handbook of automated reasoning (3)
journal of applied logic (3)
mathematical foundations of computer science 2005 (3)
programming logics (3)
studia logica (3)
11th annual ieee symposium on logic in computer science (new brunswick, nj, 1996) (2)
2009 11th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2009 11th international symposium on (2)
acm sigplan notices (2)
automata, languages and programming (2)
automated deduction---cade 25 (2)
colog-88 (tallinn, 1988) (2)
extensions of logic programming (leipzig, 1996) (2)
information & computation (2)
mechanizing mathematical reasoning (2)
studia logica: an international journal for symbolic logic (2)
the journal of symbolic logic (2)
2009 formal methods in computer-aided design, formal methods in computer-aided design, 2009. fmcad 2009 (1)
2010 12th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2010 12th international symposium on (1)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (1)
2013 15th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2013 15th international symposium on (1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (1)
akademiya nauk sssr. sibirskoe otdelenie. trudy institute matematiki (1)
algebraic methodology and software technology (1)
automata, languages and programming (bologna, 1997) (1)
epic series in computing (1)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (1)
journal of the american college of cardiology (1)