Aussagenlogik: Deduktion und Algorithmen
Edición de la obra Aussagenlogik: Deduktion und Algorithmen
| Autor | Hans Kleine Büning, Theodor Lettmann |
|---|---|
| Editorial | Vieweg+Teubner Verlag |
| Fecha de publicación | 1994 |
| Lugar | Wiesbaden |
| Idioma | alemán |
| Formato | Elektronische Ressource |
| ISBN-13 | 9783322848093 |
| ISBN-10 | 3322848094 |
| OCLC | 863912147 |
| Serie | Leitfäden und Monographien der Informatik |