Showing 1 - 20
of 264
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
Institution
Collection
Format
Subject
154
Computer logic
51
Computer science Mathematics
49
Software engineering
40
Artificial intelligence
36
Computer science
35
Logic
more ...
30
Logic programming
29
Fuzzy logic
24
Logic, Symbolic and mathematical
19
Programming languages (Electronic computers)
17
Language and logic
16
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
Computational linguistics
11
Computer software Development
11
Soft computing
10
Algebraic logic
10
Computers, Special purpose
8
Programming languages (Electronic computers) Semantics
8
Relation algebras
7
Fuzzy sets
see all ...
less ...
Author
250
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
ScienceDirect (Online service)
7
WRLA (Conference)
6
Bitsch, Friedemann
6
European Summer School in Logic, Language, and Information
6
LORI (Workshop)
6
RAMiCS (Conference)
6
Rahwan, Iyad
5
DECSoS (Workshop)
5
EPEW (Workshop)
5
Nerode, Anil, 1932-
5
RuleML+RR (Joint Conference)
5
Vorozhtsov, E. V. 1946-
5
WAISE (Workshop)
4
ETAPS (Conference)
4
IMBSA (Symposium)
4
International Conference on Deontic Logic in Computer Science
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication