01
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science)
The earliest high-confidence catalog date in this author overview is 1993.
Author
Andrei Voronkov
18 cataloged contributions
1993–2015 across 17 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Andrei Voronkov, drawn from catalog context and salon activity when available.
02
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
A clearly attributed work with a supported 1999 catalog date.
04
Handbook of Automated Reasoning (2 Volume Set)
A clearly attributed work with a supported 2001 catalog date.
05
Handbook of Automated Reasoning : Volume I (Handbook of Automated Reasoning)
A clearly attributed work with a supported 2001 catalog date.
06
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
A clearly attributed work with a supported 2001 catalog date.
The catalog
Bibliography
17 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
10 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
3 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
3 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
3 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
5 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
5 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0