CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 20 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).
Algorithmic learning for knowledge-based systems : GOSLER final report / ed. Klaus P. Jantke, Steffen Lange.

by Jantke, Klaus P [ed.] | Lange, Steffen [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNAI v. 961 ] (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).
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).
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).
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).
Fuzzy logic, neural networks and evolutionary computation / ed. Takeshi Furuhashi, Yoshiki Uchikawa.

by World Wisepersons Workshop on Fuzzy Logic and Neural Networks, WWW (4º : 1995 : Nagoya, Japan) | Furuhashi, Takeshi, 1954- [ed.] | Uchikawa, Yoshiki, 1941- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1152 ] (1).
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings / ed. José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska.

by European Workshop JELIA ’96 (1996 : Evora, Portugal) | Alferes, José Júlio, 1966- [ed.] | Moniz Pereira, Luís, 1947- [ed.] | Orlowska, Ewa [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1126 ] (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).
Time structures : formal description and algorithmic representation / Elzbieta Hajnicz.

by Hajnicz, Elzbieta.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1047 ] (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).
Practical reasoning / ed. Dov M. Gabbay, Hans Jürgen Ohlbach.

by International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany) | Gabbay, Dov M, 1945- [ed.] | Ohlbach, Hans Jürgen [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1085 ] (1).
Advances in fuzzy logic, neural networks and genetic algorithms : EEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers / edited by Takeshi Furuhashi.

by IEEE/Nagoya University World Wisepersons Workshop (1994 : Nagoya, Japan) | Furuhashi, Takeshi [ed.].

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