 |
 |
Area della Ricerca di Padova
|
Studies in automatic programming logic /
by Manna, Zohar
Normal View ISBD View
Authors:
Waldinger, Richard
|
Katz, Shmuel
|
Levitt, Karl
Series:
Artificial intelligence series
Published by :
North-Holland,
(New York : )
Physical details: VIII, 192 p. ; 24 cm.
Subject(s):
Electronic digital computers-programming
|
Computer programs
Year : 1977
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.6.M357 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
 |
 |
||||||
| QA76.6.M3559Lectures on the logic of computer programming / | QA76.6.M35595Vol. 2: Deductive systems | QA76.6.M35595Vol. 1: Deductive reasoning | QA76.6.M357Studies in automatic programming logic / | QA76.6.M4854An introduction to functional programming through lambda calculus / | QA76.6.M4854An introduction to functional programming through lambda calculus / |
Important links here.
There are no comments for this item.