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
12753
search results - page 265 / 2551
»
or 2002
Sort
relevance
views
votes
recent
update
View
thumb
title
136
click to vote
FUIN
2002
65
views
more
FUIN 2002
»
Automata-Theoretic Decision Procedures for Information Logics
15 years 6 months ago
Download
www.lsv.ens-cachan.fr
Stéphane Demri, Ulrike Sattler
claim paper
Read More »
137
click to vote
FUIN
2002
77
views
more
FUIN 2002
»
A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification
15 years 6 months ago
Download
logic.mimuw.edu.pl
Zbigniew Suraj, James F. Peters, W. Rzqsa
claim paper
Read More »
147
click to vote
FUIN
2002
74
views
more
FUIN 2002
»
Complexity of the Unique Extension Problem in Default Logic
15 years 6 months ago
Download
www.dis.uniroma1.it
Xishun Zhao, Paolo Liberatore
claim paper
Read More »
108
click to vote
GC
2002
Springer
126
views
Applied Computing
»
more
GC 2002
»
The Moore Bound for Irregular Graphs
15 years 6 months ago
Download
www.cs.tau.ac.il
Noga Alon, Shlomo Hoory, Nathan Linial
claim paper
Read More »
142
click to vote
GIS
2002
ACM
120
views
Automated Reasoning
»
more
GIS 2002
»
Analysis of different approaches for storing GML documents
15 years 6 months ago
Download
www.dsi.uclm.es
José Eduardo Córcoles, Pascual Gonz&...
claim paper
Read More »
« Prev
« First
page 265 / 2551
Last »
Next »
