Coverart for item
The Resource Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski, Antonis C. Kakas, Fariba Sadri (eds.)

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski, Antonis C. Kakas, Fariba Sadri (eds.)

Label
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Title
Computational logic
Title remainder
logic programming and beyond : essays in honour of Robert A. Kowalski
Statement of responsibility
Antonis C. Kakas, Fariba Sadri (eds.)
Contributor
Subject
Language
eng
Member of
Additional physical form
Also available via the World Wide Web. Abstracts available without subscription.
Cataloging source
DLC
Dewey number
005.1/15
Illustrations
illustrations
Index
index present
LC call number
QA76.63
LC item number
.C64 2002
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1956-
http://library.link/vocab/relatedWorkOrContributorName
  • Kakas, Antonis C
  • Sadri, Fariba
  • Kowalski, Robert
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
2407-2408.
http://library.link/vocab/subjectName
  • Kowalski, Robert
  • Logic programming
  • Automatic theorem proving
  • Logic programming languages
Label
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski, Antonis C. Kakas, Fariba Sadri (eds.)
Instantiates
Publication
Note
"Festschrift"--Cover
Bibliography note
Includes bibliographical references and index
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
50124452
Dimensions
24 cm
Dimensions
unknown
Extent
2 volumes
Isbn
9783540439592
Isbn Type
(pt. I : softcover : alk. paper)
Lccn
2002026826
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
Label
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski, Antonis C. Kakas, Fariba Sadri (eds.)
Publication
Note
"Festschrift"--Cover
Bibliography note
Includes bibliographical references and index
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
50124452
Dimensions
24 cm
Dimensions
unknown
Extent
2 volumes
Isbn
9783540439592
Isbn Type
(pt. I : softcover : alk. paper)
Lccn
2002026826
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...