Normal view MARC view ISBD view

Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen /

Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen / edited by E. Borger, G. Hasenjaeger and D. Rodding - Berlin : Springer-Verlag, 1984 - 456 p. - Lecture notes in computer science ; no. 171 .

Subjects--Topical Terms:
Machine theory--Congresses
Decision-making--Congresses
Computational complexity--Congresses

LC Class. No.: QA267 / S98 1983

Place hold
Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen /

AIT

Asian Institute of Technology Library