An edition of Logic for applications (1993)

Logic for applications

by

Logic for applications
Anil Nerode, Anil Nerode
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
December 4, 2010 | History
Edit
An edition of Logic for applications (1993)

Logic for applications

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
365

Check nearby libraries

Buy this book

Subjects

Logic programming, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Edition Availability
Cover of: Logic for applications
Logic for applications
1993, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 329-354) and indexes.

Published in
New York, London
Series
Texts and monographs in computer science

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.63

The Physical Object

Pagination
xvii, 365 p. :
Number of pages
365

Edition Identifiers

Open Library
OL21346765M
ISBN 10
0387941290, 3540941290
LibraryThing
2004827
Goodreads
5020946

Work Identifiers

Work ID
OL13361342W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
January 27, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page