Coverart for item
The Resource Automated deduction in nonstandard logics

Automated deduction in nonstandard logics

Label
Automated deduction in nonstandard logics
Title
Automated deduction in nonstandard logics
Creator
Language
eng
Member of
Cataloging source
IT-FiEUI
Index
no index present
Literary form
non fiction
Series statement
AAAI technical reports
Series volume
FS-93-01
Label
Automated deduction in nonstandard logics
Instantiates
Publication
Note
Papers from the 1993 Fall Symposium
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier.
Content category
text
Content type code
txt
Content type MARC source
rdacontent.
Control code
FIEb11665154
Isbn
9780929280509
Media category
unmediated
Media MARC source
rdamedia.
Media type code
n
System control number
(OCoLC)535294943
Label
Automated deduction in nonstandard logics
Publication
Note
Papers from the 1993 Fall Symposium
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier.
Content category
text
Content type code
txt
Content type MARC source
rdacontent.
Control code
FIEb11665154
Isbn
9780929280509
Media category
unmediated
Media MARC source
rdamedia.
Media type code
n
System control number
(OCoLC)535294943

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...