Imagen de Portada

Proof and computation /

Guardado en:

Autores Corporativos:	North Atlantic Treaty Organization. Scientific Affairs Division., NATO Advanced Study Institute on Proof and Computation
Otros Autores:	Schwichtenberg, Helmut, 1942-
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer, c1995.
Series:	NATO ASI series. Computer and systems sciences ; no. 139.
Materias:	Logic programming > Congresses. Logic, Symbolic and mathematical > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996)

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

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 /
Publicado: (1977)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980)

Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993)

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

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994)

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

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Publicado: (1994)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Publicado: (1994)

Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
Publicado: (1998)

Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 /
Publicado: (1985)

Proceedings of the Conference "Algebra and Logic", Cetinje, 1986 /
Publicado: (1987)

Proceedings of the Conference "Algebra and Logic," Sarajevo 1987 /
Publicado: (1989)

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Publicado: (1973)

The logical basis for computer programming /
por: Manna, Zohar.
Publicado: (1985)

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

Adapting Proofs-as-Programs The Curry-Howard Protocol /
por: Poernomo, Iman Hafiz.
Publicado: (2005)

Logic programming : proceedings of the 1990 North American conference /
Publicado: (1990)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Publicado: (1996)

Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings /
Publicado: (1993)

Logic programming : proceedings of the 1991 international symposium /
Publicado: (1991)

1987 Symposium on Logic Programming : proceedings, August 31-September 4, 1987, Hyatt on Union square, San Francisco, California /
Publicado: (1987)

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings /
Publicado: (2004)

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

Logic-based artificial intelligence /
Publicado: (2000)

Logic, methodology and philosophy of science : proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Publicado: (1973)

Mathematical logic for computer science /
por: Ben-Ari, M., 1948-
Publicado: (1993)

Logic for computer science /
por: Reeves, Steve, 1957-
Publicado: (1990)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
Publicado: (1993)

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
Publicado: (1997)

Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers /
Publicado: (1997)

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
Publicado: (2007)

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings /
Publicado: (2005)

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

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

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Publicado: (1995)