Generic inference a unifying theory for automated reasoning
Saved in:
Main Author: | Pouly, Marc 1980- |
---|---|
Other Authors: | Kohlas, Jurg 1939- |
Format: | Unknown |
Published: |
Hoboken, NJ
Wiley
2011
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Introduction to discrete structures for computer science and engineering
by: Preparata, Franco P
Published: (1973) -
Algebraic patching
by: Jarden, Moshe 1942-
Published: (2010) -
Applied algebra for the computer sciences
by: Gill, Arthur 1930-
Published: (1976) -
Abstract algebra theory and applications
by: Judson, Thomas W
Published: (1994) -
A Survey of modern algebra
by: Birkhoff, Garrett
Published: (1977)