Filter

Computer Logic

161 books found

Computer science logic
Computer science logic

by Matthias Baaz

2003 2 ed.
Computer Science Logic
Computer Science Logic

by Jörg Flum

1999 2 ed.
Automated reasoning
Automated reasoning

by Alexander Leitsch, Tobias Nipkow

2001 2 ed.
Computer science logic
Computer science logic

by Helmut Schwichtenberg, Gerhard Goos

2000 2 ed.
Machinations
Machinations

by Richard Spencer-Smith, Stephen Torrance

1992 2 ed.
Isabelle/HOL
Isabelle/HOL

by Tobias Nipkow, Lawrence C. Paulson

2002 2 ed.
Logic for learning
Logic for learning

by Lloyd, J. W.

2003 2 ed.
Theorem proving with analytic tableaux and related methods
Theorem proving with analytic tableaux and related methods

by TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini

1996 2 ed.
Advances in temporal logic
Advances in temporal logic

by Howard Barringer

1999 2 ed.
Incomplete information
Incomplete information

by Stéphane P. Demri, Stephane P. Demri

2002 2 ed.
Generalized quantifiers and computation
Generalized quantifiers and computation

by European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France)

1999 2 ed.
Propositional logic
Propositional logic

by H. Kleine Büning, Hans Kleine Büning

1999 2 ed.
Computer science logic
Computer science logic

by Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands)

1997 2 ed.
Types for proofs and programs
Types for proofs and programs

by International Workshop TYPES '96 (1996 Aussois, France)

1998 2 ed.
Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy
Proceedings 14th Symposium on Logic in Computer Science, Jul...

by Symposium on Logic in Computer Science (14th 1999 Trento, Italy), IEEE Computer Society

1999 2 ed.
1997 Annual Meeting of the North American Fuzzy Information Processing Society--NAFIPS
1997 Annual Meeting of the North American Fuzzy Information ...

by North American Fuzzy Information Processing Society. Meeting, North American Fuzzy Information Process

1997 2 ed.
Program development in computational logic
Program development in computational logic

by Maurice Bruynooghe, Kung-Kiu Lau

2004 2 ed.
Automated Reasoning
Automated Reasoning

by Ulrich Furbach, Natarajan Shankar

2006 2 ed.
Classical and fuzzy concepts in mathematical logic and applications
Classical and fuzzy concepts in mathematical logic and appli...

by Mircea Reghiș, Mircea S. Reghis

1998 2 ed.
Computer science logic
Computer science logic

by Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark)

1998 2 ed.