Cargando…

Theorem proving with first-order predicate logic, 3

Detalles Bibliográficos
Autor principal:	Humpert, Benedikt
Lenguaje:	eng
Publicado:	1987
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/190766

Ejemplares similares

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

20th International Conference on Theorem Proving in Higher Order Logics
Publicado: (2007)

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)

Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973)

Subsumption Demodulation in First-Order Theorem Proving
por: Gleiss, Bernhard, et al.
Publicado: (2020)

Representation theorems in computer science: a treatment in logic engineering
por: Özçep, Özgür Lütfü
Publicado: (2019)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

Automation in language translation and theorem proving: some applications of mathematical logic
por: Van Scheepen, Francs, et al.
Publicado: (1968)

The logic of adaptive behavior: knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains
por: Van Otterlo, M
Publicado: (2009)

An LMA-based theorem prover
por: Lusk, E L, et al.
Publicado: (1982)

From logic to logic programming
por: Doets, Kees
Publicado: (1994)

Generalized Picard theorem for ordinary differential equations
por: Pomentale, T
Publicado: (1973)

Logic Pro X 10.3
por: Nahmani, David
Publicado: (2017)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
por: Dalmonte, Tiziano, et al.
Publicado: (2020)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, Christopher John, et al.
Publicado: (1993)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1993)

Handbook of logic in artificial intelligence and logic programming
por: Gabbay, D M
Publicado: (1993)

Logic Pro 7 and Logic Express 7
por: Sitter, Martin
Publicado: (2005)

Logic Pro 9 and Logic Express 9
por: Nahmani, David
Publicado: (2010)

Logic Pro 8 and Logic Express 8
por: Nahmani, David
Publicado: (2008)

Logic as grammar
por: Hornstein, Norbert
Publicado: (1984)

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
por: Babikian, Aren A., et al.
Publicado: (2020)

Programmable logic controllers
por: Bolton, W
Publicado: (2015)

Logic automata and algorithms
por: Ajzerman, Mark A, et al.
Publicado: (1971)

VHDL for logic synthesis
por: Rushton, Andrew
Publicado: (2011)

Introduction to logic programming
por: Menu, Jacques
Publicado: (1985)

VHDL for logic synthesis
por: Rushton, Andrew
Publicado: (1998)

The logic of computer arithmetic
por: Flores, Ivan
Publicado: (1963)

Microprocessors and logic design
por: Krutz, Ronald L
Publicado: (1980)

Workshop on Logics of Programs
por: Clarke, Edmund, et al.
Publicado: (1984)

Logics for artificial intelligence
por: Turner, Raymond
Publicado: (1984)

Computer structure and logic
por: Pearson Education
Publicado: (2011)

Logic Pro X
por: Nahmani, David
Publicado: (2014)

Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001)

Logical foundations of artificial intelligence
por: Genesereth, Michael R, et al.
Publicado: (1987)

Logic Pro X for dummies
por: English, Graham
Publicado: (2014)

Discrete structures, logic, and computability
por: Hein, James L
Publicado: (2017)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

Cannot write session to /tmp/vufind_sessions/sess_bnkh10vvvc3lpif7nbmmc5u7e4