CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 41 results. Subscribe to this search

|
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías / Alejandro Ezequiel Orbe.

by Orbe, Alejandro Ezequiel, 1981- | Areces, Carlos Eduardo, 1971- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital | Acceso a RDU-UNC Availability: Items available for loan: [Call number: T C ORB] (1).
Implementación eficiente de construcciones de alto nivel para la programación concurrente / Damián Barsotti.

by Barsotti, Damián, 1969- | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: T C BAR] (1).
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

by CAV (Conference) (18º : 2006 : Seattle, Wash.) | Ball, Thomas, 1965- | Jones, Robert Brent, 1969-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4144] (1).
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).
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).
Algebraic methodology and software technology / edited by V. S. Alagar, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (4º : 1995 : Montreal, Canada) | Alagar, Vangalur S, 1940- [ed.] | Nivat, Maurice, 1937- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 936 ] (1).
Algebraic methodology and software technology / edited by Martin Wirsing, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (5º : 1996 : Munich, Germany) | Wirsing, Martin [ed.] | Nivat, Maurice [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1101 ] (1).
Algebraic and logic programming / ed. Giorgio Levi, Mario Rodríguez-Artalejo.

by International Conference on Algebraic and Logic Programming (4º : 1994 : Madrid) | Levi, Giorgio, 1942- [ed.,] | Rodríguez-Artalejo, Mario [ed.].

Material type: book Book Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 850 ] (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 | 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).
Reasoning with uncertainty in robotics / ed. Leo Dors, Michiel Lambalgen, Frans Voorbraak.

by RUR '95 (1995 : The Netherlands, Amsterdam) | Dors, Leo, 1958- [ed.,] | Lambalgen, Michiel van, 1954- [ed.,] | Voorbraak, Frans, 1961- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1093] (1).
Handbook of logic in artificial intelligence and logic programming / ed. Dov M. Gabbay, Christopher John Hogger, John Alan Robinson.

by Gabbay, Dov M, 1945- [ed.,] | Hogger, Christopher John [ed.] | Robinson, John Alan, 1937- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1998Availability: Items available for loan: [Call number: C I2 H236 v.5] (1).
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / ed. Michael Hanus, Jan Heering, Karl Meinke.

by Hanus, Michael [ed.] | Heering, Jan [ed.] | Meinke, Karl [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1298 ] (1).
Computer science logic / edited by Dirk Dalen, Marc Bezem.

by Workshop on Computer Science Logic | (10º : 1996 : University of Utrecht, The Netherlands) | Dalen, Dirk, 1932- [ed.,] | Bezem, Marc (Marcus Aloysius), 1956- [ed.,] | European Association for Computer Science Logic. Conference (5º : 1996 : Utrecht, Netherlands).

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1258 ] (1).
Computer aided verification : proceedindings / ed. Orna Grumberg.

by CAV (Conference) (9º : 1997 : Haifa, Israel) | Grumberg, Orna [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1254 ] (1).
Logic programming and nonmonotonic reasoning / ed. Dix Jürgen, Ulrich Furbach, Anil Nerode.

by International Conference on Logic Programming and Nonmonotonic reasoning, LPNMR (4 : 1997 : Dagsthul Castle, Germany) | Jürgen, Dix, 1961 [ed.,] | Furbach, Ulrich [ed.] | Nerode, Anil, 1932- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1265 ] (1).
Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / ed. William McCune.

by International Conference on Automatic Deduction (14 : 1997 : Townsville, Australia) | McCune, William [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1249 ] (1).
Rewriting techniques and applications / edited by Hubert Comon.

by International Conference on Rewriting Techniques and Applications (8º : 1997 : Sitges, Spain) | Comon, Hubert [ed.].

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