CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 107 results. Subscribe to this search

|
Unifying theories of programming / Charles Antony Richard Hoare, He Jifeng.

by Hoare, Charles Antony Richard, 1934- | He, Jifeng, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Prentice-Hall, 1998Availability: Items available for loan: [Call number: C F4 H679 ] (1).
First-order logic and automated theorem proving /

by Fitting, Melvin, 1942-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1996Availability: Items available for loan: [Call number: C F4 F547 ej.2] (2).
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / edited by Bernhard Möller.

by MPC (3º : 1995 : Kloster Irsee, Germany) | Möller, Bernhard, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 947 ] (1).
Automatic ambiguity resolution in natural language processing : an empirical approach / Alexander Franz.

by Franz, Alexander, 1966-.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1171 ] (1).
Universal algebra / Paul Moritz Cohn.

by Cohn, Paul Moritz, 1924-2006.

Material type: book Book Publisher: Dordrecht, Holland : Reidel, 1981Availability: Items available for loan: [Call number: C F4.3 C678 ] (2).
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; ed. Dirk Siefkes.

by Büchi, Julius Richard, 1924-1984 | Siefkes, Dirk [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1989Availability: Items available for loan: [Call number: C F1.1 B919 ] (1).
Mathematics, machines, and Godel's proof / N. Shankar.

by Shankar, N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge Iniversity, 1997Availability: Items available for loan: [Call number: C F4.1 S528 ej.2] (2).
Foundations of computing : system development with set theory and logic / Thierry Scheurer.

by Scheurer, Thierry.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wokingahm, England : Addison-Wesley, 1994Availability: Items available for loan: [Call number: C F4 S328 ] (1).
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp.

by Sudkamp, Thomas A.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, 1998Availability: Items available for loan: [Call number: C F4 S943 ] (1).
Categories, types and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo.

by Asperti, Andrea, 1961- | Longo, Giuseppe, 1941-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, 1991Availability: Items available for loan: [Call number: C F4 A839 ] (1).
Logic and structure / Dirk van Dalen.

by Dalen, Dirk van, 1932-.

Edition: 3a. ed.Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C F4 D139 ej.2] (3).
Logic and computation : Interactive proof with Cambridge LCF / Lawrence C. Paulson.

by Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : University of Cambridge, 1987Availability: Items available for loan: [Call number: C F4 P332 ] (1).
Temporal logic of programs / Fred Kröger.

by Kröger, Fred, 1945-.

Material type: book Book Publisher: Berlin : Springer, 1987Availability: Items available for loan: [Call number: C F4 K93 ] (1).
Logic for applications / Anil Nerode, Richard A. Shore.

by Nerode, Anil, 1932- | Shore, Richard A, 1946-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1997Availability: Items available for loan: [Call number: C F4 N451 ] (1).
Language in action : categories, lambdas, and dynamic logic.

by Benthem, Johan van, 1949-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, 1995Availability: Items available for loan: [Call number: C F4 B476 ] (1).
Semirings, automata, languages / Werner Kuich, Arto Salomaa.

by Kuich, Werner, 1941- | Salomaa, Arto, 1934-.

Material type: book Book Publisher: Berlin : Springer, 1986Availability: Items available for loan: [Call number: C F4 K96 ] (1).
Formal methods in artificial intelligence / Allan Ramsay.

by Ramsay, Allan, 1953-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1991Availability: Items available for loan: [Call number: C F4 R178 ] (1).
Basic category theory for computer scientists / Benjamin C. Pierce.

by Pierce, Benjamin C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, 1991Availability: Items available for loan: [Call number: C F4 P615 ] (1).
Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / edited by John Wylie Lloyd.

by Symposium on Computational Logic (1990 : Brussels) | Lloyd, John Wylie, 1947- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1990Availability: Items available for loan: [Call number: C F4 C736 ] (1).
Gödel's incompleteness theorems / Raymond M. Smullyan.

by Smullyan, Raymond M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Oxford university, 1992Availability: Items available for loan: [Call number: C F4 S666 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com