Imagen de Portada

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

Guardado en:

Otros Autores:	Nerode, Anil, 1932-, Matiëiìasevich, ëIìU. V.
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer-Verlag, c1994.
Series:	Lecture notes in computer science ; 813
Materias:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings /
Publicado: (1994)

Foundations of information and knowledge systems : 5th international symposium, FOIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings /
Publicado: (2008)

Foundations of information and knowledge systems : 6th International Symposium, Folks 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
Publicado: (2010)

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

3rd URV Doctoral Workshop in Computer Science and Mathematics /
Publicado: (2016)

4th URV Doctoral Workshop in Computer Science and Mathematics /
Publicado: (2017)

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

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

Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /
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)

Proof and computation /
Publicado: (1995)

A history of computing in the twentieth century : a collection of essays /
Publicado: (1980)

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)

LATIN '95 : theoretical informatics : second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings /
Publicado: (1995)

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

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)

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

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

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

Actas de las XIX Jornadas sobre la Enseñanza Universitaria de la Informática /
Publicado: (2013)

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

Computación para el desarrollo : XI congreso : actas del XI Congreso Iberoamericano de Computación para el Desarrollo (COMPDES 2018) San Carlos (Costa Rica) 25 al 27 de julio de 2018 /
Publicado: (2018)

Computación para el desarrollo : XIV Congreso /
Publicado: (2021)

Logic, action, and information : essays on logic in philosophy and artificial intelligence /
Publicado: (1996)

Actas del Simposio-Taller sobre estrategias y herramientas para el aprendizaje y la evaluación /
Publicado: (2013)

Computación para el desarrollo : actas del X Congreso Iberoamericano de Computación para el Desarrollo (COMPDES 2017 ), Universidad de San Carlos (Guatemala) Centro Universitario de Occidente CUNOC Quetzaltenango (Guatemala) 26 al 28 de julio de 2017 /
Publicado: (2017)

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

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

Scientific annals of computer science.
Publicado: (2006)

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

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

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

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

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

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

Annual Symposium on Foundations of Computer Science : [papers].

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