CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 21 results. Subscribe to this search

|
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).
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).
Computational intelligence : theory and applications / ed. Bernd Reusch.

by Dortmunder Fuzzy-Tage (5º : 1997 : Dortmund, Germany) | Reusch, Bernd [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1226 ] (1).
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings / ed. Shai Ben-David.

by European Conference on Computational Learning Theory (3rd : 1997 : Jerusalem) | Ben-David, Shai [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1208 ] (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).
Types for proofs and programs / edited by Stefano Berardi, Mario Coppo.

by International Workshop on Types for Proofs and Programs (1995 : Torino, Italy) | Berardi, Stefano [ed.] | Coppo, Mario, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1158 ] (1).
Logic in databases / ed. Dino Pedreschi, Carlo Zaniolo.

by International Workshop on Logic in Databases (1996 : San Miniato, Italy) | Pedreschi, Dino [ed.] | Zaniolo, Carlo [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1154 ] (1).
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger.

by CAV (Conference) (8º : 1996 : New Brunswick, N.J.) | Alur, Rajeev, 1966- [ed.,] | Henzinger, Thomas A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1102 ] (1).
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison.

by TPHOLs '97 (9º : 1996 : Turku, Finland) | Wright, Joakim von, 1955- [ed.,] | Grundy, Jim, 1968- [ed.,] | Harrison, John, 1966- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1125 ] (1).
Principles and practice of constraint programming, CP96 / ed. Eugene Freuder.

by CP (Conference) (2º : 1996 : Cambridge, MA) | Freuder, Eugene [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1118] (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).
Over-constrained systems / ed. Michael Jampel, Eugene Freuder, Michael Maher.

by Jampel, Michael [ed.] | Freuder, Eugene [ed.] | Maher, Michael, 1959- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1106 ] (1).
Foundations of software technology and theoretical computer science / edited by Pazhamaneri S. Thiagarajan.

by Conference on Foundations of Software Technology and Theoretical Computer Science (15 : 1995 : Bangalore, India) | Thiagarajan, Pazhamaneri S [ed.].

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