FGCS '92

FGCS '92
Author :
Publisher : IOS Press
Total Pages : 498
Release :
ISBN-10 : 9051990995
ISBN-13 : 9789051990997
Rating : 4/5 (997 Downloads)

Book Synopsis FGCS '92 by :

Download or read book FGCS '92 written by and published by IOS Press. This book was released on 1992 with total page 498 pages. Available in PDF, EPUB and Kindle. Book excerpt: The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, showing how the research goals set were achieved.


FGCS '92 Related Books

FGCS '92
Language: en
Pages: 498
Authors:
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: IOS Press

GET EBOOK

The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, sh
Scientific Information Bulletin
Language: en
Pages: 158
Authors:
Categories: Research
Type: BOOK - Published: 1992 - Publisher:

GET EBOOK

Logic Programming in Action
Language: en
Pages: 338
Authors: Gerard Comyn
Categories: Business & Economics
Type: BOOK - Published: 1992-08-25 - Publisher: Springer Science & Business Media

GET EBOOK

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in u
Static Analysis
Language: en
Pages: 300
Authors: Patrick Cousot
Categories: Computers
Type: BOOK - Published: 1993-09-08 - Publisher: Springer Science & Business Media

GET EBOOK

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective
Logic Program Synthesis and Transformation
Language: en
Pages: 344
Authors: John P. Gallagher
Categories: Computers
Type: BOOK - Published: 1997-03-12 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'