System description: PTTP+GLiDeS semantically guided PTTP

Marianne Brown, Geoff Sutcliffe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations
Original languageEnglish (US)
Title of host publicationAutomated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings
EditorsDavid McAllester
PublisherSpringer Verlag
Pages411-416
Number of pages6
ISBN (Electronic)3540676643, 9783540676645
DOIs
StatePublished - 2000
Externally publishedYes
Event17th International Conference on Automated Deduction, CADE 2000 - Pittsburgh, United States
Duration: Jun 17 2000Jun 20 2000

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume1831
ISSN (Print)0302-9743

Other

Other17th International Conference on Automated Deduction, CADE 2000
CountryUnited States
CityPittsburgh
Period6/17/006/20/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this