The Resource Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings, D. Pearce, H. Wansing, eds

Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings, D. Pearce, H. Wansing, eds

Label
Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
Title
Nonclassical logics and information processing
Title remainder
international workshop, Berlin, November 9-10, 1990 : proceedings
Statement of responsibility
D. Pearce, H. Wansing, eds
Contributor
Subject
Genre
Language
eng
Summary
"This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory. The classification is only a rough guide since the four areas overlap considerably."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Index
no index present
LC call number
QA75.5
LC item number
.N664 1992
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1952-
http://library.link/vocab/relatedWorkOrContributorName
  • Pearce, David A.
  • Wansing, H.
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
619.
http://library.link/vocab/subjectName
  • Electronic data processing
  • Logic, Symbolic and mathematical
  • Artificial intelligence
  • logique non monotone
  • théorie démonstration
  • programmation en logique
  • logique non classique
  • Programmation logique
  • Intelligence artificielle
  • Logique mathématique non classique
  • Preuve, Théorie de la
  • Artificial intelligence
  • Electronic data processing
  • Logic, Symbolic and mathematical
  • Logica
  • Bewijstheorie
  • Modalité (logique)
  • Intelligence artificielle
  • Programmation logique
Label
Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings, D. Pearce, H. Wansing, eds
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
171 pages
Isbn
9783540557456
Lccn
93102667
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)26556722
  • (OCoLC)ocm26556722
Label
Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings, D. Pearce, H. Wansing, eds
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
171 pages
Isbn
9783540557456
Lccn
93102667
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)26556722
  • (OCoLC)ocm26556722

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...