Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht
Mentés helye:
Közreműködő(k): | |
---|---|
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Berlin [etc.] : Springer,
1997
|
Sorozat: | Lecture notes in computer science, ISSN 3020-9743 ; 1261 |
Tárgyszavak: | |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
Hasonló tételek
-
Handbook of logic and proof techniques for computer science
Szerző: Krantz, Steven George (1951-)
Megjelenés: (2002) -
Efficient graph rewriting and its implementation
Szerző: Dörr, Heiko (1962-)
Megjelenés: (1995) -
Introduction to HOL : A theorem proving environment for higher logic
Szerző: Gordon, Michael Wallace
Megjelenés: (1993) -
Isabelle/HOL : A proof assistant for higher-order logic
Szerző: Nipkow, Tobias
Megjelenés: (2002) -
Basic proof theory
Szerző: Troelstra, Anne Sjerp
Megjelenés: (2000)