Showing
1 - 9
results of
9
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Your Account
Log Out
Institutional Login
Language
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
हिंदी
Library Catalog
Keyword
Title/Journal Title
Author
Subject
Call Number
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Find
Advanced Search
|
Browse
|
Search Tips
|
Repeat Search in WorldCat
Author:
*-*
Suggested Subjects:
4 filters
Computer Science Logic and Foundations of Programming
AND
Discrete Mathematics in Computer Science
AND
Programming Techniques
AND
Software Engineering
Show filters (5)
Author:
*-*
Suggested Subjects:
4 filters
Computer Science Logic and Foundations of Programming
AND
Discrete Mathematics in Computer Science
AND
Programming Techniques
AND
Software Engineering
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Artificial Intelligence
9
Artificial intelligence
9
Computer Science Logic and Foundations of Programming
Computer programming
9
Computer science
9
Computer science—Mathematics
9
Discrete Mathematics in Computer Science
more ...
Discrete mathematics
9
Formal Languages and Automata Theory
9
Machine theory
9
Programming Techniques
Software Engineering
Software engineering
9
less ...
Showing
1 - 9
results of
9
for search '
'
, query time: 0.05s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Imprint 2014
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2014 English/International.
Electronic
eBook
Save to List
Saved in:
2
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
Imprint 2015
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2015 English/International.
Electronic
eBook
Save to List
Saved in:
3
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
Imprint 2015
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2015 English/International.
Electronic
eBook
Save to List
Saved in:
4
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
Imprint 2011
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2011 English/International.
Electronic
eBook
Save to List
Saved in:
5
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
6
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
Imprint 2012
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2012 English/International.
Electronic
eBook
Save to List
Saved in:
7
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Imprint 2013
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2013 English/International.
Electronic
eBook
Save to List
Saved in:
8
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Imprint 2013
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2013 English/International.
Electronic
eBook
Save to List
Saved in:
9
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Imprint 2013
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2013 English/International.
Electronic
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Electronic
9
eBook
9
Author
SpringerLink (Online service)
9
Albert, Elvira
1
Balduccini, Marcello
1
Cabalar, Pedro
1
Calimeri, Francesco
1
De Nivelle, Hans
1
more ...
Delgrande, James
1
Faber, Wolfgang
1
Galmiche, Didier
1
Gupta, Gopal
1
Ianni, Giovambattista
1
Janhunen, Tomi
1
Larchey-Wendling, Dominique
1
Peña, Ricardo
1
Son, Tran Cao
1
Truszczynski, Miroslaw
1
Vidal, Germán
1
see all ...
less ...
Language
English
9
Year of Publication
From:
To:
Loading...