Eintrag weiter verarbeiten
Aussagenlogik: Deduktion und Algorithmen
Gespeichert in:
| Personen und Körperschaften: | , |
|---|---|
| Titel: | Aussagenlogik: Deduktion und Algorithmen/ Hans Kleine Büning; Theodor Lettmann |
| Format: | Buch |
| Sprache: | Deutsch |
| veröffentlicht: |
Stuttgart
Teubner
1994
|
| Gesamtaufnahme: |
Leitfäden und Monographien der Informatik |
| Schlagwörter: | |
| Quelle: | Verbunddaten SWB |
Online
Inhaltsverzeichnis, VerlagZentralblatt MATH, Inhaltstext, Verlag
Hauptbibliothek
| Verfügbar |
Freihand
Signatur: ST 120 K64
|