TU Darmstadt / ULB / TUbiblio

Automated deduction: a basis for applications. Vol. 3: Applications

Bibel, Wolfgang (ed.), :
Automated deduction: a basis for applications. Vol. 3: Applications.
Kluwer Acad. Publ, Dordrecht
[Buch], (1998)

Typ des Eintrags: Buch
Erschienen: 1998
Herausgeber: Bibel, Wolfgang
Titel: Automated deduction: a basis for applications. Vol. 3: Applications
Sprache: Englisch
Ort: Dordrecht
Verlag: Kluwer Acad. Publ
Edition: Dordrecht: Kluwer Acad. Publ., 1998
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen