ALPUK 91

Author	:
Publisher	:
Total Pages	: 236
Release	: 1992
ISBN-10	: UOM:39015023850921
ISBN-13	:
Rating	: 4/5 ( Downloads)

DOWNLOAD EBOOK

Book Synopsis ALPUK 91 by :

Download or read book ALPUK 91 written by and published by . This book was released on 1992 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt:

ALPUK 91 Related Books

Language: en
Pages: 236

ALPUK 91

Authors:

Categories: Logic programming

Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 345

Logic Program Synthesis and Transformation

Authors: Timothy P. Clement

Categories: Computers

Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but

Language: en
Pages: 654

Logic Programming

Authors: Danny De Schreye

Categories: Computers

Type: BOOK - Published: 1999-11-08 - Publisher: MIT Press

DOWNLOAD EBOOK

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and paralleli

Language: en
Pages: 330

Specifications of Database Systems

Authors: David J. Harper

Categories: Computers

Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly,

Language: en
Pages: 203

7th UK Computer and Telecommunications Performance Engineering Workshop

Authors: Jane E. Hillston

Categories: Computers

Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Co