A proof-producing boolean search engine

Clark Barrett, Sergey Berzin

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

Original languageEnglish (US)
Title of host publicationProceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03)
StatePublished - 2003

Cite this

Barrett, C., & Berzin, S. (2003). A proof-producing boolean search engine. In Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03)

A proof-producing boolean search engine. / Barrett, Clark; Berzin, Sergey.

Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03). 2003.

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

Barrett, C & Berzin, S 2003, A proof-producing boolean search engine. in Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03).
Barrett C, Berzin S. A proof-producing boolean search engine. In Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03). 2003
Barrett, Clark ; Berzin, Sergey. / A proof-producing boolean search engine. Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03). 2003.
@inproceedings{a5d0053ce4094543a9ce3757d0152691,
title = "A proof-producing boolean search engine",
author = "Clark Barrett and Sergey Berzin",
year = "2003",
language = "English (US)",
booktitle = "Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03)",

}

TY - GEN

T1 - A proof-producing boolean search engine

AU - Barrett, Clark

AU - Berzin, Sergey

PY - 2003

Y1 - 2003

M3 - Conference contribution

BT - Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03)

ER -