BibTeX record phd/de/Sorge2004

download as .bib file

@phdthesis{DBLP:phd/de/Sorge2004,
  author    = {Volker Sorge},
  title     = {{\(\Omega\)}-ANTS: a blackboard architecture for the integration of
               reasoning techniques into proof planning},
  school    = {Saarland University, Saarbr{\"{u}}cken, Germany},
  year      = {2001},
  url       = {http://scidok.sulb.uni-saarland.de/volltexte/2004/237/index.html},
  urn       = {urn:nbn:de:bsz:291-scidok-2375},
  timestamp = {Thu, 19 Jan 2017 17:41:10 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/de/Sorge2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics