A general clause theorem prover

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

3 Citations (Scopus)
Original languageEnglish (US)
Title of host publication10th International Conference on Automated Deduction, Proceedings
PublisherSpringer Verlag
Pages675-676
Number of pages2
Volume449 LNAI
ISBN (Print)9783540528852
DOIs
StatePublished - Jan 1 1990
Externally publishedYes
Event10th International Conference on Automated Deduction, CADE 1990 - Kaiserslautern, Germany
Duration: Jul 24 1990Jul 27 1990

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume449 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other10th International Conference on Automated Deduction, CADE 1990
CountryGermany
CityKaiserslautern
Period7/24/907/27/90

Fingerprint

Theorem

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sutcliffe, G. (1990). A general clause theorem prover. In 10th International Conference on Automated Deduction, Proceedings (Vol. 449 LNAI, pp. 675-676). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 449 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-52885-7_137

A general clause theorem prover. / Sutcliffe, Geoffrey.

10th International Conference on Automated Deduction, Proceedings. Vol. 449 LNAI Springer Verlag, 1990. p. 675-676 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 449 LNAI).

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

Sutcliffe, G 1990, A general clause theorem prover. in 10th International Conference on Automated Deduction, Proceedings. vol. 449 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 449 LNAI, Springer Verlag, pp. 675-676, 10th International Conference on Automated Deduction, CADE 1990, Kaiserslautern, Germany, 7/24/90. https://doi.org/10.1007/3-540-52885-7_137
Sutcliffe G. A general clause theorem prover. In 10th International Conference on Automated Deduction, Proceedings. Vol. 449 LNAI. Springer Verlag. 1990. p. 675-676. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-52885-7_137
Sutcliffe, Geoffrey. / A general clause theorem prover. 10th International Conference on Automated Deduction, Proceedings. Vol. 449 LNAI Springer Verlag, 1990. pp. 675-676 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{609ce03b81da43ddac7bd3c3bb910378,
title = "A general clause theorem prover",
author = "Geoffrey Sutcliffe",
year = "1990",
month = "1",
day = "1",
doi = "10.1007/3-540-52885-7_137",
language = "English (US)",
isbn = "9783540528852",
volume = "449 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "675--676",
booktitle = "10th International Conference on Automated Deduction, Proceedings",

}

TY - GEN

T1 - A general clause theorem prover

AU - Sutcliffe, Geoffrey

PY - 1990/1/1

Y1 - 1990/1/1

UR - http://www.scopus.com/inward/record.url?scp=85028946806&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028946806&partnerID=8YFLogxK

U2 - 10.1007/3-540-52885-7_137

DO - 10.1007/3-540-52885-7_137

M3 - Conference contribution

AN - SCOPUS:85028946806

SN - 9783540528852

VL - 449 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 675

EP - 676

BT - 10th International Conference on Automated Deduction, Proceedings

PB - Springer Verlag

ER -