Showing 1 - 20
of 25
for search: '"Logic Congresses."',
query time: 0.21s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
14
Computer logic
10
Software engineering
8
Computer science
8
Language and logic
5
Algorithms
more ...
5
Artificial intelligence
4
Computers, Special purpose
3
Computer programming
3
Logic
2
Programming languages (Electronic computers)
2
Uncertainty (Information theory)
1
Categories (Philosophy)
1
Computer networks
1
Computer science Mathematics
1
Computer simulation
1
Database management
1
Formal methods (Computer science)
1
Fuzzy logic
1
Knowledge, Theory of
1
Logique symbolique et mathématique
1
Mathematics
1
Mathematics Philosophy
1
Nonclassical mathematical logic
1
Proof theory
1
Reasoning
see all ...
less ...
Author
22
SpringerLink (Online service)
12
Workshop on Logic, Language, Information and Computation
8
Queiroz, Ruy J. G. B. de,
4
IMBSA (Symposium)
4
Queiroz, Ruy J. G. B. de
2
Bozzano, Marco,
more ...
2
Kohlenbach, U.
2
Moss, Lawrence Stuart, 1959-
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
RuleML+RR (Joint Conference)
2
SpringerLink (Online Service)
2
Zeller, Marc
1
Abate, Alessandro,
1
Antonucci, Alessandro,
1
Aslansefat, Koorosh,
1
Barceló, Pablo,
1
Benzmüller, Christoph,
1
Calvanese, Diego,
1
Chakraborty, Mihir,
1
Cholvy, Laurence,
1
Ciabattoni, Agata,
1
Davis, Martin,
1
Dawar, Anuj
1
De Paiva, Valeria,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Fehnker, Ansgar,
1
Fodor, Paul,
see all ...
less ...
Language
Literary Form
Year of Publication