CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 9 results. Subscribe to this search

|
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).
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).
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).
Algorithmic learning theory / ed. Setsuo Arikawa, Arun K. Sharma.

by ALT ’96 (7 : 1996 : Sydney) | Arikawa, Setsuo, 1941- [ed.,] | Sharma, Arun K, 1962- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1160 ] (1).
Term indexing / Peter Graf.

by Graf, Peter, 1966-.

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNAI v. 1053 ] (1).
Extensions of logic programming / ed. Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister.

by ELP '96 (5º : 1996 : Leipzig, Germany) | Dyckhoff, Roy, 1948- [ed.,] | Herre, Heinrich [ed.] | Schroeder-Heister, Peter, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1050 ] (1).
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / ed. Michael A. McRobbie, John K. Slaney.

by International Conference on Automated Deduction (13 : 1996 : New Brunswick, New Jersey, USA) | McRobbie, Michael A [ed.] | Slaney, John K [ed.] | CADE.

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