Imagen de Portada

Discrete structures, logic, and computability /

Guardado en:

Autor Principal:	Hein, James L.
Formato:	Libro
Idioma:	English
Publicado:	Boston : Jones and Bartlett, c1995.
Materias:	Computer science. Data structures (Computer science) Logic, Symbolic and mathematical. Computable functions.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Computability, complexity, logic /
por: Börger, E. 1946-
Publicado: (1989)

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

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

Logic and information flow /
Publicado: (1994)

Vivid logic : knowledge-based reasoning with two kinds of negation /
por: Wagner, G. 1957-
Publicado: (1994)

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

Logic-based artificial intelligence /
Publicado: (2000)

Computer data structures /
por: Pfaltz, John L.
Publicado: (1977)

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

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

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

Logic and discrete mathematics : a computer science perspective /
por: Grassmann, Winfried K.
Publicado: (1996)

Data structures and algorithm analysis /
por: Weiss, Mark Allen.
Publicado: (1995)

Data structures and algorithms /
por: Aho, Alfred V.
Publicado: (1983)

Algorithms and data structures : design, correctness, analysis /
por: Kingston, Jeffrey H.
Publicado: (1997)

Foundations of multidimensional and metric data structures /
por: Samet, Hanan.
Publicado: (2006)

Discrete mathematical structures.
por: Kolman, Bernard, 1932-
Publicado: (1996)

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

Geometric data structures for computer graphics /
por: Langetepe, Elmar, 1967-
Publicado: (2006)

Data structures & algorithms in Java /
por: Lafore, Robert
Publicado: (2003)

Data structures and algorithms in Java /
por: Goodrich, Michael T.,, et al.
Publicado: (2014)

Genetic programming and data structures : genetic programming + data structures = automatic programming! /
por: Langdon, W. B.
Publicado: (1998)

An introduction to data structures and algorithms with Java /
por: Rowe, Glenn
Publicado: (1998)

Data structures & algorithm analysis in Java /
por: Weiss, Mark Allen.
Publicado: (1999)

Data structures and algorithm analysis in Java /
por: Weiss, Mark Allen.
Publicado: (2012)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2005)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2007)

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

A practical introduction to data structures and algorithm analysis /
por: Shaffer, Clifford A.
Publicado: (1998)

Fundamentals of data structures /
por: Horowitz, Ellis.
Publicado: (1976)

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang.
Publicado: (2006)

Data structures : an object-oriented approach /
por: Collins, William J.
Publicado: (1992)

Discrete Mathematics Using a Computer
por: ODonnell, John.
Publicado: (2006)

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

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

Data structures : an advanced approach using C /
por: Esakov, Jeffrey.
Publicado: (1989)

Data structures in Java /
por: Standish, Thomas A., 1941-
Publicado: (1998)

Fundamentals of data structures in Pascal /
por: Horowitz, Ellis.
Publicado: (1984)

Reliable data structures in C /
por: Plum, Thomas, 1943-
Publicado: (1985)