Logic-Based Program Synthesis and Transformation View on Open Library

Logic-Based Program Synthesis and Transformation

by Hutchison, David - undifferentiated

No reviews yet
First published: 2009 1 language ISBN: 9783642005145
Subjects
Logic design Software engineering Algorithms Computer science Artificial intelligence Logic programming Congresses

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Hutchison, David - undifferentiated

William Shakespeare's Macbeth

William Shakespeare's Macbeth

Speaking Mastery

Speaking Mastery

Clach Na Fàisneachd

Clach Na Fàisneachd

Young Gunner

Young Gunner

A Citizen Of Wanderlust

A Citizen Of Wanderlust

The Book of Skulls (Doctresses)

The Book of Skulls (Doctresses)

You Might Also Like

More in Logic design
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)
The Logic of Scientific Discovery

The Logic of Scientific Discovery

Karl Popper
Digital Design

Digital Design

John F. Wakerly
Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev
How computers work

How computers work

Ron White