CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 48 results. Subscribe to this search

|
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum.

by Abramsky, Samson, 1953- [ed.,] | Gabbay, Dov M, 1945- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1992-1994Availability: Items available for loan: [Call number: C F4.1 H236 v.4] (4).
Word equations and related topics / ed. Klaus Ulrich Schulz.

by International Workshop on Word Equations and Related Topics (1º : 1990 : Tübingen, Germany) | Schulz, Klaus Ulrich, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C LNCS v. 572 ] (1).
Theorem proving with analytic tableaux and related methods / ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi.

by TABLEAUX '96 (5º : 1996 : Terrasini, Palermo, Italy) | Miglioli, Pierangelo [ed.] | Moscato, Ugo [ed.] | Mundici, Daniele [ed.] | Ornaghi, Mario [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1071] (1).
Algebraic logic and universal algebra in computer science / ed. Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Algebraic Logic and Universal Algebra in Computer Science Conference (1988 : Ames, Iowa) | Bergman, Clifford H, 1953- [ed.,] | Maddux, Roger D, 1948- [ed.,] | Pigozzi, Don L, 1935- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1990Availability: Items available for loan: [Call number: C LNCS v. 425 ] (1).
Conditional term rewriting systems / ed. Michaël Rusinowitch, Jean-Luc Rémy.

by International Workshop CTRS (3º : 1992 : Pount-à-Mousson, France) | Rusinowitch, Michaël [ed.] | Rémy, Jean-Luc [ed.].

Material type: book Book Publisher: Berlin : Springer, 1993Availability: Items available for loan: [Call number: C LNCS v. 656 ] (1).
Distributed artificial intelligence : architecture and modelling / ed. Chenqi Zhang, Dickson Lukose.

by Australian Workshop on DAI (1st : 1995 : Canberra, A.C.T.) | Zhang, Chenqi, 1957- [ed.] | Lukose, Dickson [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1087 ] (1).
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

by Hesselink, Wim Hendrik, 1946-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F4.1 H587 ] (1).
Logics of time and computation / Robert Goldblatt.

by Goldblatt, Robert, 1949-.

Edition: 2a. ed. rev. and expanded.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Stanford, United States : Center for the Study of Language and Information, 1992Availability: Items available for loan: [Call number: C F4.1 G618 ] (1).
Lambda calculi : a guide for computer scientists / Chris Hankin.

by Hankin, Chris, 1954-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1994Availability: Items available for loan: [Call number: C F4.1 H241 ] (1).
Handbook of theoretical computer science / ed. Jan van Leeuwen.

by Leeuwen, Jan van [ed.].

Material type: book Book Publisher: Amsterdam : Elsevier, 1992Availability: Items available for loan: [Call number: C F0 H236 v.A] (2).
Computability, complexity, logic / Egon Börger.

by Börger, Egon, 1946-.

Material type: book Book Publisher: Amsterdam : North-Holland, 1989Availability: Items available for loan: [Call number: C F4.1 B732 ] (1).
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / ed. Didier Galmiche.

by TABLEAUX '97 (1997 : Pont-á-Mousson, France) | Galmiche, Didier, 1958- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1227 ] (1).
Automated deduction in equational logic and cubic curves / William McCune, Ranganathan Padmanabhan.

by McCune, William, 1953- | Padmanabhan, Ranganathan, 1938-.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1095 ] (1).
Non-monotonic extensions of logic programming / ed. Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski.

by NMELP ’96 (2º : 1996 : Bad Honnef, Germany) | Dix, Jürgen, 1961- [ed.,] | Moniz Pereira, Luis [ed.] | Przymusinski, Teodor C, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1216 ] (1).
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor.

by Stoltenberg-Hansen, Viggo | Lindström, Ingrid | Griffor, Edward R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Availability: Items available for loan: [Call number: C F4.1 S888 ] (1).
Extensions of first order logic / María Manzano.

by Manzano, María.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1996Availability: Items available for loan: [Call number: C F4.1 M296 ] (1).
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek.

by Meyer, J-J. CH | Hoek, Wiebe van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: Items available for loan: [Call number: C F4.1 M612 ej.2] (2).
The clausal theory of types / D. A. Wolfram.

by Wolfram, D. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1993Availability: Items available for loan: [Call number: C F4.1 W861 ] (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 intelligent systems / ed. Zbigniew Ras, Andrzej Skowron.

by International Symposium on Methodologies for Intelligent Systems (10º : 1997 : Charlotte, North Carolina, USA) | Ras, Zbigniew [ed.] | Skowron, Andrzej [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1325 ] (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