Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
12993
search results - page 34 / 2599
»
Artificial Intelligence in China
Sort
relevance
views
votes
recent
update
View
thumb
title
123
click to vote
ICLA
2009
Springer
93
views
Artificial Intelligence
»
more
ICLA 2009
»
Game Quantification Patterns
16 years 23 days ago
Download
ali.cmi.ac.in
Dietmar Berwanger, Sophie Pinchinat
claim paper
Read More »
141
click to vote
ICLA
2009
Springer
145
views
Artificial Intelligence
»
more
ICLA 2009
»
An Analytic Logic of Aggregation
16 years 23 days ago
Download
ali.cmi.ac.in
Patrick Girard, Jeremy Seligman
claim paper
Read More »
130
click to vote
ICLA
2009
Springer
105
views
Artificial Intelligence
»
more
ICLA 2009
»
A General Setting for the Pointwise Investigation of Determinacy
16 years 23 days ago
Download
ali.cmi.ac.in
Yurii Khomskii
claim paper
Read More »
131
click to vote
ICLA
2009
Springer
101
views
Artificial Intelligence
»
more
ICLA 2009
»
A Unified Framework for Certificate and Compilation for QBF
16 years 23 days ago
Download
ali.cmi.ac.in
Igor Stéphan, Benoit Da Mota
claim paper
Read More »
129
click to vote
ICLA
2009
Springer
97
views
Artificial Intelligence
»
more
ICLA 2009
»
Machine Checking Proof Theory: An Application of Logic to Logic
16 years 23 days ago
Download
ali.cmi.ac.in
Rajeev Goré
claim paper
Read More »
« Prev
« First
page 34 / 2599
Last »
Next »
