Explore: Programmsynthese
Discover books, insights, and more — all in one place.
Learn more about Programmsynthese with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmsynthese”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logic-Based Program Synthesis and Transformation
By Danny De Schreye

“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Danny De Schreye
- Language: English
- Number of Pages: Median: 215
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Computer science - Artificial intelligence - Informatique - Programmtransformation - Logic programming - Congresses - Logische Programmierung - Logic - Beweistheorie - Programmierlogik - Programmsynthese - Software
Edition Identifiers:
- The Open Library ID: OL25564050M
- Library of Congress Control Number (LCCN): 2010924453
- All ISBNs: 3642125913 - 9783642125911 - 9783642125928 - 3642125921
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Automatische Synthese rekursiver Programme als Beweisverfahren
By Susanne Biundo

“Automatische Synthese rekursiver Programme als Beweisverfahren” Metadata:
- Title: ➤ Automatische Synthese rekursiver Programme als Beweisverfahren
- Author: Susanne Biundo
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 1992
- Publish Location: Berlin, Heidelberg
“Automatische Synthese rekursiver Programme als Beweisverfahren” Subjects and Themes:
- Subjects: Existenzaussage - Induktionsbeweis - Automatisches Beweisverfahren - Programmsynthese
Edition Identifiers:
- The Open Library ID: OL27019448M
- Online Computer Library Center (OCLC) ID: 863856624
- All ISBNs: 9783642847448 - 3642847447
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automatische Synthese rekursiver Programme als Beweisverfahren at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.