A proof-search method for the first-order logic

Andrei Voronkov; Per Martin-Löf; Grigori Mints

A proof-search method for the first-order logic

Andrei Voronkov, Per Martin-Löf (Editor), Grigori Mints (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Conference on Computer Logic
Editors	Per Martin-Löf, Grigori Mints
Publisher	Springer Nature
Pages	327-338
Number of pages	12
Volume	417
ISBN (Print)	3-540-52335-9
Publication status	Published - 1988
Event	COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/colog/colog1988.html#StarchenkoV88http://dblp.uni-trier.de/rec/bibtex/conf/colog/StarchenkoV88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/colog/StarchenkoV88

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/colog/colog1988.html#StarchenkoV88http://dblp.uni-trier.de/rec/bibtex/conf/colog/StarchenkoV88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/colog/StarchenkoV88

Access to Document

Cite this

@inproceedings{f3079ac1e3b14ff8ac6cdbc347730ab7,

title = "A proof-search method for the first-order logic",

author = "Andrei Voronkov and Per Martin-L{\"o}f and Grigori Mints",

year = "1988",

language = "English",

isbn = "3-540-52335-9",

volume = "417",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "327--338",

editor = "Per Martin-L{\"o}f and Grigori Mints",

booktitle = "Conference on Computer Logic",

address = "United States",

note = "COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/colog/colog1988.html#StarchenkoV88http://dblp.uni-trier.de/rec/bibtex/conf/colog/StarchenkoV88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/colog/StarchenkoV88",

}

Voronkov, A, Martin-Löf, P (ed.) & Mints, G (ed.) 1988, A proof-search method for the first-order logic. in P Martin-Löf & G Mints (eds), Conference on Computer Logic. vol. 417, Lecture Notes in Computer Science, Springer Nature, pp. 327-338, COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/colog/colog1988.html#Voronkov88>

TY - GEN

T1 - A proof-search method for the first-order logic

AU - Voronkov, Andrei

A2 - Martin-Löf, Per

A2 - Mints, Grigori

A2 - Martin-Löf, Per

A2 - Mints, Grigori

PY - 1988

Y1 - 1988

M3 - Conference contribution

SN - 3-540-52335-9

VL - 417

T3 - Lecture Notes in Computer Science

SP - 327

EP - 338

BT - Conference on Computer Logic

PB - Springer Nature

T2 - COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings

Y2 - 1 January 1824

ER -