CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 107 results. Subscribe to this search

|
Computing in horn clause theories.

by Padawitz, Peter.

Material type: book Book Publisher: Berlin : Springer, 1988Availability: Items available for loan: [Call number: C F4 P123 ] (1).
Basic simple type theory / J. Roger Hindley.

by Hindley, James Roger, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C F4 H662 ] (1).
Theory of logical calculi : basic theory of consequence operators / Ryszard Wójcicki.

by Wójcicki, Ryszard.

Material type: book Book Publisher: Dordrecht : Kluwer, 1988Availability: Items available for loan: [Call number: C F4 W847 ] (1).
Handbook of formal languages / edited by Grzegorz Rozenberg, Arto Salomaa.

by Rozenberg, Grzegorz, 1942- [ed.] | Salomaa, Arto, 1934- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C F4 H236 v.3] (3).
Recursion theory for metamathematics / Raymond M. Smullyan.

by Smullyan, Raymond M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University, 1993Availability: Items available for loan: [Call number: C F4 S666r ] (1).
Computation as logic / René Lalement ; translated by John Plaice.

by Lalement, René.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Paris : Masson, 1993Availability: Items available for loan: [Call number: C F4 L194 ] (1).
Automata and computability. Dexter C. Kozen.

by Kozen, Dexter C, 1951-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1997Availability: Items available for loan: [Call number: C F4 K88 ] (1).
The logic of partial information / Areski Nait Abdallah.

by Nait Abdallah, Areski, 1950-.

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C F4 N159 ] (1).
Fuzzy logic for the management of uncertainty / edited by Lotfi Zadeh, Janusz Kacprzyk.

by Zadeh, Lotfi [ed.] | Kacprzyk, Janusz [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1992Availability: Items available for loan: [Call number: C F4 F996 ] (1).
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers / edited by Ralf Hofestädt Lengauer, Markus Löffler Schomburg.

by German Conference on Bioinformatics (1996 : Leipzig, Germany) | Hofestädt, Ralf [ed.] | Lengauer [ed.] | Löffler, Markus [ed.] | Schomburg [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1278 ] (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 International joint Conference on Algebraic and Logic Programming, ALP '97 (6 : 1997 : Southtampton, UK) | 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).
Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu.

by International Workshop on Implementing Automata (1º : 1996 : London, Ontario) | Raymond, Darrell Ronald [ed.] | Wood, Derick, 1940- [ed.,] | Yu, Sheng [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1260 ] (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).
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode.

by LFCS (Symposium) (4º : 1997 : Yaroslavl, Russia) | Adian, Segei Ivanovich, 1931- [ed.] | Nerode, Anil, 1932- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1234 ] (1).
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / edited by Michel Bidoit, Max Dauchet.

by International Joint Conference on Theory and Practice of Software Development (1997 : Lille, France) | Bidoit, Michel, 1957- [ed.,] | Dauchet, Max, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1214 ] (1).
New trends in formal languages : control, cooperation and combinatorics / ed. Gheorghe Paun, Arto Salomaa.

by Paun, Gheorghe, 1950- [ed.,] | Salomaa, Arto, 1934- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1218 ] (1).
Graph-theoretic concepts in computer science / ed. Fabrizio D'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela.

by International Workshop WG (22º : 1996 : Cadenabbia, Italy) | D'Amore, Fabrizio [ed.] | Franciosa, Paolo G [ed.] | Marchetti-Spaccamela, Alberto [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1197 ] (1).
Perspectives of system informatics / edited by Dines Bjorner, Manfred Broy, Igor V. Pottosin.

by International Andrei Ershov Memorial Conference (2 : 1996 : Akademgorodok, Novosibirsk, Russia) | Bjorner, Dines, 1937- [ed.,] | Broy, Manfred, 1949- [ed.,] | Pottosin, Igor V [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1181 ] (1).
Foundations of software technology and theoretical computer science / edited Vijay Chandru, V. Vinay.

by Conference on Foundations of Software Technology and Theoretical Computer Science (16 : 1996 : Hyderabad, India) | Chandru, Vijay, 1953- [ed.,] | Vinay, V [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1180 ] (2).

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