Showing
1 - 20
results of
30
for search '
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced Search
|
Browse
|
Search Tips
Page will reload when a filter is removed.
Applied Filters:
Other:
Remove Filter
Voronkov, Andrei
Page will reload when a filter is removed.
Show filters (1)
Other:
Remove Filter
Voronkov, Andrei
Search Results | College of the Holy Cross
Suggested Topics within your search.
Suggested Topics within your search.
Electronic resources (E-books)
30
Computer logic
26
Artificial intelligence
24
Mathematical logic
22
Computer programming
20
Software engineering
20
Programming languages (Electronic computers)
14
Computers
5
Algorithms
2
Computer science—Mathematics
2
Optical data processing
2
Architecture, Computer
1
Bioinformatics
1
Computer communication systems
1
Computer science
1
Computer system failures
1
Database management
1
Special purpose computers
1
Showing
1 - 20
results of
30
for search '
'
, query time: 0.05s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings edited by Andrei Voronkov.
Published 2008
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers edited by Edmund M. Clarke, Andrei Voronkov.
Published 2010
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov.
Published 2010
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
Published 2008
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.
Published 2013
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings edited by Moshe Vardi, Andrei Voronkov.
Published 2003
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings edited by Robert Nieuwenhuis, Andrei Voronkov.
Published 2001
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Re... edited by Manuel Mazzara, Andrei Voronkov.
Published 2016
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Logic Programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Sept... edited by Andrei Voronkov.
Published 1992
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers edited by Alexander K. Petrenko, Andrei Voronkov.
Published 2018
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings edited by Harald Ganzinger, David McAllester, Andrei Voronkov.
Published 1999
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 13
13
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.
Published 2019
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 14
14
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings edited by Nikolaj Bjørner, Andrei Voronkov.
Published 2012
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 15
15
Logic Programming and Automated Reasoning International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings edited by Andrei Voronkov.
Published 1992
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 16
16
Transactions and Change in Logic Databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Con... edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov.
Published 1998
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 17
17
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings edited by Christian G. Fermüller, Andrei Voronkov.
Published 2010
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 18
18
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers edited by Andrei Voronkov, Irina Virbitskaite.
Published 2007
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 19
19
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers edited by Andrei Voronkov, Irina Virbitskaite.
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 20
20
Computer Science - Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings edited by Volker Diekert, Mikhail Volkov, Andrei Voronkov.
Published 2007
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
1
2
Next
[2]
Search Tools:
Get RSS Feed
Email this Search
Save Search
Back
Narrow Search
Page will reload when a filter is selected or excluded.
Year of Publication
From:
To:
Format
eBook
30 results
30
Location
E-Resources
30 results
30
Language
English
30 results
30
Library of Congress Call Number
E - United States History
30 results
30
Record Source
FOLIO
30 results
30