Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Computational aspects of an order-sorted logic with term declarations /

by Schmidt Schauss, M.
Normal View ISBD View
Series: Lecture notes in artificial intelligence ; . 395 Published by : Springer Verlag, (Berlin : ) Physical details: VIII, 171 p. ; 24 cm. Subject(s): Logic, Symbolic and mathematical | Sorting (Electronic computers) Year : 1989
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica -LNAI395 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.