Aussagenlogik: Deduktion und Algorithmen / Hans Kleine Büning; Theodor Lettmann

By:

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: German Series: Leitfäden und Monographien der InformatikPublisher: Stuttgart : Teubner, 1994Description: X, 438 S. : IllISBN:

Subject(s):

Genre/Form:

MSC: MSC: *03B05 | 03B35 | 03-01 | 03-02 | 03-04 | 68Q25 | 68T15RVK: RVK: SK 130 | ST 120Call number: Grundsignatur: 94 A 2954PPN: PPN: 277715539

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 1.0	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	94 A 2954	Available		46623783090

Total holds: 0