Resultados
|
81.
|
|
|
82.
|
|
|
83.
|
|
|
84.
|
|
|
85.
|
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison. por
- TPHOLs '97 (9º : 1996 : Turku, Finland)
- Wright, Joakim von, 1955- [ed.,]
- Grundy, Jim, 1968- [ed.,]
- Harrison, John, 1966- [ed.,]
Series Lecture notes in computer science ; v. 1125 | LNCS ; v. 1125
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1125 .
|
|
86.
|
|
|
87.
|
|
|
88.
|
|
|
89.
|
|
|
90.
|
|
|
91.
|
|
|
92.
|
|
|
93.
|
|
|
94.
|
|
|
95.
|
|
|
96.
|
Artificial evolution : European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers / ed. Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers. por Series Lecture notes in computer science ; v. 1063 | LNCS ; v. 1063
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1063 .
|
|
97.
|
|
|
98.
|
|
|
99.
|
|
|
100.
|
|