Showing 1 - 20
of 238
for search: '"Logic Congresses."',
query time: 0.25s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Institution
Collection
Format
Subject
150
Computer logic
51
Computer science Mathematics
49
Software engineering
36
Computer science
34
Artificial intelligence
30
Logic programming
more ...
28
Fuzzy logic
23
Logic, Symbolic and mathematical
21
Logic
19
Programming languages (Electronic computers)
15
Induction (Logic)
14
Computer organization
14
Computer systems Verification
14
Decidability (Mathematical logic)
13
Computer security
13
Reversible computing
12
Algorithms
12
Application software Security measures
12
Intelligent agents (Computer software)
12
Machine learning
11
Automatic theorem proving
11
Computer software Development
11
Soft computing
10
Algebraic logic
10
Computers, Special purpose
8
Language and logic
8
Programming languages (Electronic computers) Semantics
8
Relation algebras
7
Computational linguistics
7
Fuzzy sets
see all ...
less ...
Author
228
SpringerLink (Online service)
14
ILP (Conference)
13
RC (Workshop : Reversible computation)
12
Workshop on Logic, Language, Information and Computation
11
LOPSTR (Symposium)
11
SAFECOMP (Conference)
more ...
10
IJCAR (Conference)
10
Potapov, Igor,
10
RP (Workshop)
8
Queiroz, Ruy J. G. B. de,
7
Bitsch, Friedemann,
7
CLIMA (Workshop)
7
International Tbilisi Symposium on Logic, Language, and Computation
7
International Workshop on Fuzzy Logic and Applications
7
WRLA (Conference)
6
Bitsch, Friedemann
6
European Summer School in Logic, Language, and Information
6
RAMiCS (Conference)
6
Rahwan, Iyad
5
DECSoS (Workshop)
5
EPEW (Workshop)
5
Nerode, Anil, 1932-
5
RuleML+RR (Joint Conference)
5
ScienceDirect (Online service)
5
Vorozhtsov, E. V. 1946-
5
WAISE (Workshop)
4
ETAPS (Conference)
4
IMBSA (Symposium)
4
International Conference on Deontic Logic in Computer Science
4
International Conference on Reachability Problems
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication