The Resource Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.)

Label
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
Title
Logics in AI
Title remainder
European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
Statement of responsibility
J. van Eijck (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
"The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Index
index present
LC call number
Q334
LC item number
.E985 1990
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1990
http://bibfra.me/vocab/lite/meetingName
European Workshop JELIA '90
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Eijck, J. van
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Logic programming
  • Semantics
  • Logic, Symbolic and mathematical
  • Nonclassical mathematical logic
  • logique dynamique
  • logique non classique
  • langage naturel
  • sémantique
  • démonstration théorème
  • programmation en logique
  • Intelligence artificielle
  • Programmation logique
  • Sémantique
  • Logique symbolique et mathématique
  • Logique mathématique non classique
  • Artificial intelligence
  • Logic programming
  • Logic, Symbolic and mathematical
  • Nonclassical mathematical logic
  • Semantics
  • Programmation logique
  • Künstliche Intelligenz
  • Logische Programmierung
  • Kongress
  • Logik
  • Mathematische Logik
Label
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.)
Instantiates
Publication
Bibliography note
Includes bibliograhical 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
Dimensions
25 cm.
Extent
ix, 561 pages
Isbn
9783540536864
Isbn Type
(Springer-Verlag Berlin Heidelberg New York : acid-free paper)
Lccn
91006288
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)23016132
  • (OCoLC)ocm23016132
Label
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.)
Publication
Bibliography note
Includes bibliograhical 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
Dimensions
25 cm.
Extent
ix, 561 pages
Isbn
9783540536864
Isbn Type
(Springer-Verlag Berlin Heidelberg New York : acid-free paper)
Lccn
91006288
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)23016132
  • (OCoLC)ocm23016132

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 ...