An edition of Automatische Synthese rekursiver Programme als Beweisverfahren (1992)

Automatische Synthese rekursiver Programme als Beweisverfahren

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Automatische Synthese rekursiver Programme al ...
Susanne Biundo
Not in Library

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
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 1, 2020 | History
Edit
An edition of Automatische Synthese rekursiver Programme als Beweisverfahren (1992)

Automatische Synthese rekursiver Programme als Beweisverfahren

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer-Verlag
Language
German
Pages
259

Check nearby libraries

Buy this book

Subjects
Automatic programming (Computer science), Computer programming

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Automatische Synthese rekursiver Programme als Beweisverfahren
Automatische Synthese rekursiver Programme als Beweisverfahren
1992, Springer-Verlag
in German
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [245]-252) and index.
Originally presented as the author's thesis (doctoral)--Universität Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

Published in
Berlin, New York
Series
Informatik-Fachberichte ;, 302

Classifications

Library of Congress
QA76.6 .B574 1992, QA76.9.L63QA76.5913Q

The Physical Object

Pagination
viii, 259 p. ;
Number of pages
259

ID Numbers

Open Library
OL1516292M
ISBN 10
3540553002, 0387553002
LCCN
93201302
Goodreads
6039114

Source records

Better World Books record
Library of Congress MARC record

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
August 1, 2020 Edited by ImportBot import existing book
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page