17 treff

predikatlogikk
Verifikasjon ved hjelp av PROLOG
av Terje Sivertsen
Bok Bokmål 1987 · Les boka på nett · Vis mer
Emner fra diskret matematikk : notater for bruk ved Høgskolen i Gjøvik
Hans Engenes
Bok Bokmål 1998 · Vis mer
Logic and structure
Dalen, D. van
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mathematical methods in artificial intelligence
Edward A. Bender
Bok Engelsk 1996 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Logic : a foundation for computer science
V. Sperschneider & G. Antoniou
Bok Engelsk 1991 · Vis mer
The logic system of concept graphs with negation : and its relationship to predicate logic
Frithjof Dau
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Artificial intelligence : structures and strategies for complex problem solving
George F. Luger
Bok Engelsk 2009 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mathematical logic
George Tourlakis
Bok Engelsk 2008 · Vis mer
Non-standard inferences in description logics
Ralf Küsters
Bok Engelsk 2001 · Vis mer
First-order logic
Raymond M. Smullyan
Bok Engelsk 1968 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1997 · Vis mer
Logic and programming in logic
Ramin Yasdi ; translated by Chris. Bowerm...
Bok Engelsk 1997 · Vis mer
Logic and its applications
Burke, Edmund
Bok Engelsk 1996 · Vis mer
Predicate calculus and program semantics
Edsger W. Dijkstra, Carel S. Scholten
Bok Engelsk 1990 · Vis mer
Logic for information technology
Antony Galton
Bok Språk ikke angitt 1990 · Vis mer