CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 37 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).
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 (1 : 1995 : Canberra) | 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).
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).
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).
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).
Qualitative and quantitative practical reasoning / ed. Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach.

by International Joint Conference on Qualitative and Quantitative Practical Reasoning (1º : 1997 : Bad Honnef, Germany) | Gabbay, Dov M, 1945- [ed.,] | Kruse, Rudolf [ed.] | Nonnengart, Andreas [ed.] | Ohlbach, Hans Jürgen [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1244 ] (1).
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Chen, Ronald De Wolf.

by Nienhuys-Chen, Shan-Hwei, 1943- | De Wolf, Ronald, 1973-.

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1228 ] (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).
ZUM'97 : the Z formal specification notation / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.

by International Conference of the Z User (10º : 1997 : Reading, UK) | Bowen, Jonathan Peter, 1956- [ed.] | Hinchey, Michael Gerad, 1969- [ed.] | Till, David [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1212 ] (1).
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / ed. Philippe Groote, J. Roger Hindley.

by International Conference on Typed Lambda Calculi and Applications (3º : 1997 : Nancy, France) | Groote, Philippe [ed.] | Hindley, James Roger, 1939- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1210 ] (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).
Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings / ed. Foto Afrati, Phokion Kolaitis.

by International Conference on Database Theory (6º : 1997 : Delphi, Greece) | Afrati, Foto [ed.] | Kolaitis, Phokion [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1186 ] (1).
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers / ed. Trevor P. Martin, Anca L. Ralescu.

by International Joint Conference on Artificial Intelligence (1995 : Montréal, Canada) | Martin, Trevor P, 1949- [ed.,] | Ralescu, Anca L, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1188 ] (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).
Conceptual modeling - ER '96 / ed. Bernhard Thalheim.

by International Conference on Conceptual Modeling (15º : 1996 : Cottbus, Germany) | Thalheim, Bernhard, 1952- [ed.,].

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