On Types and Type Consistency in Logic Programming

On Types and Type Consistency in Logic Programming
Author :
Publisher : IOS Press
Total Pages : 194
Release :
ISBN-10 : 3898382354
ISBN-13 : 9783898382359
Rating : 4/5 (359 Downloads)

Book Synopsis On Types and Type Consistency in Logic Programming by : Gregor Meyer

Download or read book On Types and Type Consistency in Logic Programming written by Gregor Meyer and published by IOS Press. This book was released on 2000 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt:


On Types and Type Consistency in Logic Programming Related Books

On Types and Type Consistency in Logic Programming
Language: en
Pages: 194
Authors: Gregor Meyer
Categories: Logic programming
Type: BOOK - Published: 2000 - Publisher: IOS Press

GET EBOOK

On Types and Type Consistency in Logic Programming
Language: en
Pages: 176
Authors: Gregory P. Meyer
Categories: Computers
Type: BOOK - Published: 2000-10 - Publisher: Ios PressInc

GET EBOOK

Functional and Logic Programming
Language: en
Pages: 379
Authors: Aart Middeldorp
Categories: Computers
Type: BOOK - Published: 1999-10-27 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, Novem
Functional and Logic Programming
Language: en
Pages: 347
Authors: Jacques Garrigue
Categories: Computers
Type: BOOK - Published: 2008-04-05 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, t
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 412
Authors: Carmine Dodaro
Categories: Computers
Type: BOOK - Published: 2024-10-11 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas,