Logical engineering with instance-based methods

Peter Baumgartner

doi:10.1007/978-3-540-73595-3_30

Logical engineering with instance-based methods

Peter Baumgartner^*

^*Corresponding author for this work

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

11 Citations (Scopus)

Original language	English
Title of host publication	Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings
Publisher	Springer Verlag
Pages	404-409
Number of pages	6
ISBN (Print)	3540735941, 9783540735946
DOIs	https://doi.org/10.1007/978-3-540-73595-3_30
Publication status	Published - 2007
Event	21st International Conference on Automated Deduction, CADE-21 2007 - Bremen, Germany Duration: 17 Jul 2007 → 20 Jul 2007

Publication series

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

Conference

Conference	21st International Conference on Automated Deduction, CADE-21 2007
Country/Territory	Germany
City	Bremen
Period	17/07/07 → 20/07/07

Access to Document

10.1007/978-3-540-73595-3_30

Cite this

Baumgartner, P. (2007). Logical engineering with instance-based methods. In Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings (pp. 404-409). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4603 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-73595-3_30

@inproceedings{d981a2e884bc4048ad2e03ea18cdaf65,

title = "Logical engineering with instance-based methods",

author = "Peter Baumgartner",

year = "2007",

doi = "10.1007/978-3-540-73595-3_30",

language = "English",

isbn = "3540735941",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "404--409",

booktitle = "Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings",

address = "Germany",

note = "21st International Conference on Automated Deduction, CADE-21 2007 ; Conference date: 17-07-2007 Through 20-07-2007",

}

Baumgartner, P 2007, Logical engineering with instance-based methods. in Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4603 LNAI, Springer Verlag, pp. 404-409, 21st International Conference on Automated Deduction, CADE-21 2007, Bremen, Germany, 17/07/07. https://doi.org/10.1007/978-3-540-73595-3_30

Logical engineering with instance-based methods. / Baumgartner, Peter.
Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag, 2007. p. 404-409 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4603 LNAI).

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

TY - GEN

T1 - Logical engineering with instance-based methods

AU - Baumgartner, Peter

PY - 2007

Y1 - 2007

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

U2 - 10.1007/978-3-540-73595-3_30

DO - 10.1007/978-3-540-73595-3_30

M3 - Conference contribution

SN - 3540735941

SN - 9783540735946

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

SP - 404

EP - 409

BT - Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings

PB - Springer Verlag

T2 - 21st International Conference on Automated Deduction, CADE-21 2007

Y2 - 17 July 2007 through 20 July 2007

ER -

Baumgartner P. Logical engineering with instance-based methods. In Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag. 2007. p. 404-409. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73595-3_30

Logical engineering with instance-based methods

Publication series

Conference

Access to Document

Other files and links

Cite this