From logic design to logic programming

theorem proving techniques and P-functions

Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by MARC Bot
June 30, 2019 | History

From logic design to logic programming

theorem proving techniques and P-functions

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
125

Buy this book

Previews available in: English

Book Details


Edition Notes

Published in
Berlin, London
Series
Lecture notes in computer science -- 271

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96, QA76.9.A96 S62 1987

ID Numbers

Open Library
OL21342228M
Internet Archive
fromlogicdesignt00snye_384
ISBN 10
0387182179
LCCN
87020773
OCLC/WorldCat
16466351
Goodreads
4730327

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
June 30, 2019 Edited by MARC Bot import existing book
March 10, 2019 Edited by ImportBot import existing book
January 27, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page