Automated deduction : a basis for applications / ed. by Wolfgang Bibel ...

Mitwirkende(r):

Bibel, Wolfgang [Hrsg.]

Resource type: Ressourcentyp: GesamtaufnahmeGesamtaufnahmeSprache: Englisch Reihen: Applied logic series ; ...Bände: Zeige BändeVerlag: Dordrecht [u.a.] : Kluwer, 1998-ISBN:

0792351320

Schlagwörter:

Automatisches Beweisverfahren

Genre/Form:

Aufsatzsammlung

DDC-Klassifikation:

006.33
006.3/33

RVK: RVK: SK 130 | CC 2600PPN: PPN: 1139550098

Exemplare ( 0 )

Dieser Titel hat keine Exemplare

Drucken
Zitieren
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)