Imagen de Portada

Deductive logic /

Guardado en:

Autor Principal:	Leblanc, Hugues, 1924-
Otros Autores:	Wisdom, William A.
Formato:	Libro
Idioma:	English
Publicado:	Boston : Allyn and Bacon, c1972.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Deductive databases and logic programming /
por: Das, Subrata Kumar.
Publicado: (1992)

Deductive logic and descriptive language /
por: Harrison, Frank R.
Publicado: (1969)

Natural deduction : the logical basis of axiom systems /
por: Anderson, John Mueller.
Publicado: (1962)

Natural deduction : a proof-theoretical study.
por: Prawitz, Dag.
Publicado: (1965)

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993)

Automated Deduction CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings /
por: Nieuwenhuis, Robert.
Publicado: (2005)

Automated Deduction CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
por: Pfenning, Frank.
Publicado: (2007)

Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen) /
por: Gentzen, Gerhard.
Publicado: (1955)

The Consistent Preferences Approach to Deductive Reasoning in Games
por: Asheim, Geir B.
Publicado: (2006)

A general algebraic semantics for deductive systems /
por: Font, Josep Maria, 1954-
Publicado: (1993)

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
por: Botana, Francisco.
Publicado: (2007)

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /
por: Hong, Hoon.
Publicado: (2006)

The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning /
por: Boole, George, 1815-1864.
Publicado: (1948)

A many-valued approach to deduction and reasoning for artificial intelligence /
por: De Bessonet, Cary G.
Publicado: (1991)

Farmer use and understanding of inductive and deductive reasoning and figuring coste and returns /
Publicado: (1957)

Recherches sur la deduction logique (untersuchungen über das logische schliessen) /
por: Gentzen, Gerhard
Publicado: (1955)

Logiques construites par une méthode de déduction naturelle /
por: Dopp, J.
Publicado: (1962)

Elementary lessons in logic : deductive and inductive, with copious questions and examples and a vocabulary of logical terms /
por: Jevons, William Stanley, 1835-1882.
Publicado: (1870)

Logic, logic, and logic /
por: Boolos, George.
Publicado: (1998)

Meta-logics and logic programming /
Publicado: (1995)

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

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

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

Logic /
por: Hodges, Wilfrid
Publicado: (1977)

Logic : techniques of formal reasoning /
por: Kalish, Donald.
Publicado: (1964)

Logic : a brief course /
por: Mundici, Daniele, 1946-
Publicado: (2012)

Computing with logic : logic programming with Prolog /
por: Maier, David, 1953-
Publicado: (1988)

Logic : a foundation for computer science /
por: Sperschneider, V.
Publicado: (1991)

Logical essays : collected logical essays of Josiah Royce /
por: Royce, Josiah, 1855-1916.
Publicado: (1951)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

Algebra and logic.
Publicado: (1968)

The essence of logic /
por: Kelly, John J.
Publicado: (1997)

The logic of strategy /
Publicado: (1999)

Essence of logic /
por: Kelly, John J. 1940 Nov. 23-1995.
Publicado: (1997)

Computation as logic /
por: Lalement, René.
Publicado: (1993)

Logic and objects /
por: McCabe, F. G. 1953-
Publicado: (1992)

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (1994)

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (2013)

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996)

Logic as algebra /
por: Halmos, Paul R. 1916-2006.
Publicado: (1998)