Automated Deduction: CADE-22

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

Original language	English
Title of host publication	Lecture Notes in Artificial Intelligence
Publisher	Springer Nature
Volume	5663
Publication status	Published - 2009
Event	The 22nd International Conference on Automated Deduction - Montreal Duration: 2 Aug 2009 → 7 Aug 2009

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer

Conference	The 22nd International Conference on Automated Deduction
City	Montreal
Period	2/08/09 → 7/08/09

Cite this

@inproceedings{0d5d7c92956442c5a03d5f3332cedb53,

title = "Automated Deduction: CADE-22",

author = "Schmidt, {R A}",

year = "2009",

language = "English",

volume = "5663",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Artificial Intelligence",

address = "United States",

note = "The 22nd International Conference on Automated Deduction ; Conference date: 02-08-2009 Through 07-08-2009",

}