Borrow it
- African Studies Library
- Alumni Medical Library
- Astronomy Library
- Fineman and Pappas Law Libraries
- Frederick S. Pardee Management Library
- Howard Gotlieb Archival Research Center
- Mugar Memorial Library
- Music Library
- Pikering Educational Resources Library
- School of Theology Library
- Science & Engineering Library
- Stone Science Library
The Resource Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed
Resource Information
The item Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
- Extent
- x, 324 pages
- Note
- "This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands"--Preface
- Isbn
- 9783540644064
- Label
- Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
- Title
- Automated reasoning with analytic tableaux and related methods
- Title remainder
- International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
- Statement of responsibility
- Harrie de Swart, ed
- Title variation
- TABLEAUX '98
- Subject
-
- Artificial intelligence -- Congresses
- Automatic theorem proving
- Automatic theorem proving -- Congresses
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Intelligence artificielle -- Congrès
- Intelligence artificielle -- Congrès
- Kongreß -- Oisterwijk -- 1998
- Kunstmatige intelligentie
- Oisterwijk (1998)
- Oisterwijk <1998>
- Redeneren
- Théorèmes -- Démonstration automatique -- Congrès
- Théorèmes -- Démonstration automatique | Congrès
- démonstration théorème
- raisonnement automatique
- tableau
- tableau sémantique
- théorie démonstration
- Artificial intelligence
- Language
- eng
- Cataloging source
- DLC
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.A96
- LC item number
- T34 1998
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1998
- http://bibfra.me/vocab/lite/meetingName
- TABLEAUX'98
- Nature of contents
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Swart, H. C. M. de
- Series statement
-
- Lecture notes in computer science,
- Lecture notes in artificial intelligence
- Series volume
- 1397.
- http://library.link/vocab/subjectName
-
- Automatic theorem proving
- Artificial intelligence
- tableau sémantique
- tableau
- démonstration théorème
- théorie démonstration
- raisonnement automatique
- Intelligence artificielle
- Théorèmes
- Artificial intelligence
- Automatic theorem proving
- Kunstmatige intelligentie
- Redeneren
- Théorèmes
- Intelligence artificielle
- Automatisches Beweisverfahren
- Oisterwijk <1998>
- Label
- Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed
- Note
- "This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands"--Preface
- 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
- Dimensions
- 24 cm.
- Dimensions
- unknown
- Extent
- x, 324 pages
- Isbn
- 9783540644064
- Lccn
- 98018124
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Specific material designation
- remote
- System control number
-
- (OCoLC)38930584
- (OCoLC)ocm38930584
- Label
- Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed
- Note
- "This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands"--Preface
- 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
- Dimensions
- 24 cm.
- Dimensions
- unknown
- Extent
- x, 324 pages
- Isbn
- 9783540644064
- Lccn
- 98018124
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Specific material designation
- remote
- System control number
-
- (OCoLC)38930584
- (OCoLC)ocm38930584
Subject
- Artificial intelligence -- Congresses
- Automatic theorem proving
- Automatic theorem proving -- Congresses
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Intelligence artificielle -- Congrès
- Intelligence artificielle -- Congrès
- Kongreß -- Oisterwijk -- 1998
- Kunstmatige intelligentie
- Oisterwijk (1998)
- Oisterwijk <1998>
- Redeneren
- Théorèmes -- Démonstration automatique -- Congrès
- Théorèmes -- Démonstration automatique | Congrès
- démonstration théorème
- raisonnement automatique
- tableau
- tableau sémantique
- théorie démonstration
- Artificial intelligence
Genre
Member of
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Lecture notes in computer science, 1397
Library Locations
-
African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 -71.105717
-
Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 -71.107023
-
Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 -71.099547
-
Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 -71.108227
-
Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 -71.101425
-
School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 -71.107235
-
Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 -71.102257
-
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/l5cRIh2VpGg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/l5cRIh2VpGg/">Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/l5cRIh2VpGg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/l5cRIh2VpGg/">Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings, Harrie de Swart, ed</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
