Logic programming formal methods and practical applications
Saved in:
Other Authors: | Beierle, Christoph l954-, Plumer, Lutz |
---|---|
Format: | Book |
Published: |
Amsterdam
Elsevier
l995
|
Series: | Studies in computer science and artificial intelligence
ll |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic programming
Published: (1982) -
Introductory logic and formal methods
by: Heath, David
Published: (1994) -
Logic programming new frontiers
Published: (1992) -
Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004) -
Programming logic and design introductory
by: Farrell, Joyce
Published: (2006)