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
24132
search results - page 230 / 4827
»
and 2009
Sort
relevance
views
votes
recent
update
View
thumb
title
150
click to vote
ICLA
2009
Springer
145
views
Artificial Intelligence
»
more
ICLA 2009
»
An Analytic Logic of Aggregation
16 years 1 months ago
Download
ali.cmi.ac.in
Patrick Girard, Jeremy Seligman
claim paper
Read More »
136
click to vote
ICLA
2009
Springer
105
views
Artificial Intelligence
»
more
ICLA 2009
»
A General Setting for the Pointwise Investigation of Determinacy
16 years 1 months ago
Download
ali.cmi.ac.in
Yurii Khomskii
claim paper
Read More »
138
click to vote
ICLA
2009
Springer
101
views
Artificial Intelligence
»
more
ICLA 2009
»
A Unified Framework for Certificate and Compilation for QBF
16 years 1 months ago
Download
ali.cmi.ac.in
Igor Stéphan, Benoit Da Mota
claim paper
Read More »
141
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 1 months ago
Download
ali.cmi.ac.in
Rajeev Goré
claim paper
Read More »
150
click to vote
ICMI
2009
Springer
137
views
Biometrics
»
more
ICMI 2009
»
Classification of patient case discussions through analysis of vocalisation graphs
16 years 1 months ago
Download
www.scss.tcd.ie
Saturnino Luz, Bridget Kane
claim paper
Read More »
« Prev
« First
page 230 / 4827
Last »
Next »
