Normal view MARC view ISBD view

Logic for computer scientists

Schoning, Uwe, 1955-

Logic for computer scientists Uwe Schoning. - Boston : Birkhauser, 1989. - 166 p. : ill. ; 24 cm. - Progress in computer science and applied logic ; v. 8 .

Translation of: Logik für Informatiker.

Includes bibliographical references (p. 155-159).

ISBN: 9780817647629

LCCN: 89017864

Subjects--Topical Terms:
Logic, Symbolic and mathematical.
Logic programming.

LC Class. No.: QA9 / .S363 1989

Dewey Class. No.: 511.3 / SCH-L

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

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