 |
 |
Area della Ricerca di Padova
|
Logic, algebra and computation : International Summer School directed by F. L. Bauer ... [et al.] /
Normal View ISBD View
Authors:
Bauer, Friedrich
Series:
NATO ASI series.Computer and systems sciences ;
. 79
Published by :
Springer Verlag,
(Berlin : )
Physical details: VI, 485 p. ; 25 cm.
Subject(s):
Logic programming- congresses
|
Algebra
|
Computational complexity- congresses
Year : 1991
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.63.L618 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
 |
 |
||||||
| QA76.63.H36Vol. 3.: Nonmonotonic reasoning and uncertain reasoning / | QA76.63.H36Vol. 2.: Deduction methodologies / | QA76.63.H36Vol. 1: Logical foundations / | QA76.63.L618Logic, algebra and computation : International Summer School directed by F. L. Bauer ... [et al.] / | QA76.63.L643Vol. 1 | QA76.63.L643Vol. 2 |
Important links here.
There are no comments for this item.