Filter

Computer Logic

161 books found

Logical Foundations of Computer Science
Logical Foundations of Computer Science

by Sergei Artemov

2007 9 ed.
Logic functions and equations
Logic functions and equations

by Christian Posthoff, Bernd Steinbach

2005 7 ed.
Fuzzy learning and applications
Fuzzy learning and applications

by Marco Russo, Marco Russo

2000 6 ed.
Computational logic in multi-agent systems
Computational logic in multi-agent systems

by João Leite, Paolo Torroni

2004 5 ed.
Computability
Computability

by Richard L. Epstein, Richard .L. Epstein

1988 4 ed.
Computer science logic
Computer science logic

by CSL 2008 (2008 Bertinoro, Italy)

2008 4 ed.
The logician and the engineer
The logician and the engineer

by Paul J. Nahin

2012 4 ed.
Towards a design flow for reversible logic
Towards a design flow for reversible logic

by Robert Wille

2010 4 ed.
Logical foundations for cognitive agents
Logical foundations for cognitive agents

by Fiora Pirri

1999 4 ed.
Computational logic in multi-agent systems
Computational logic in multi-agent systems

by Katsumi Inoue, Ken Satoh

2006 4 ed.
Logic in Computer Science
Logic in Computer Science

by Mark Ryan

1999 4 ed.
New trends in fuzzy systems
New trends in fuzzy systems

by International Joint Workshop on Current Issues Fuzzy Technologies/Methods amd Environments for Planning and Programming (1998 Naples, Italy), International Joint Workshop on Current Issues Fuzzy Technologies

1997 4 ed.
Computation Engineering:
Computation Engineering:

by Ganesh Gopalakrishnan

2006 3 ed.
Logic in Computer Science
Logic in Computer Science

by Michael Huth

2000 3 ed.
Reversible Computation
Reversible Computation

by Gerhard W. Dueck

2013 3 ed.
Computational Thinking
Computational Thinking

by Peter J. Denning, Matti Tedre

2019 3 ed.
Logic of analog and digital machines
Logic of analog and digital machines

by Paolo Rocchi

2009 3 ed.
Computational logic in multi-agent systems
Computational logic in multi-agent systems

by CLIMA (Conference) (8th 2007 Porto, Portugal)

2008 3 ed.
Logic-based artificial intelligence
Logic-based artificial intelligence

by Jack Minker

2000 3 ed.
Specification and verification of declarative open interaction models
Specification and verification of declarative open interacti...

by Marco Montali

2010 3 ed.