Showing 1 - 3
of 3
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer logic
Logic, Symbolic and mathematical
2
Software engineering
1
Artificial intelligence
1
Computer programs
1
Computer science
more ...
1
Computer systems
1
Database management
1
Electronic data processing
1
Formal languages
1
Game theory
1
Knowledge representation (Information theory)
1
Logic
see all ...
less ...
Author
3
SpringerLink (Online service)
2
Ong, Luke
1
Coecke, Bob
1
FoIKS (Symposium)
1
FoIKS (Symposium) Dortmund, Germany)
1
Herzig, Andreas, 1949-
more ...
1
Kontinen, Juha,
1
Panangaden, P.
1
Queiroz, Ruy J. G. B. de
1
Workshop on Logic, Language, Information and Computation
1
Workshop on Logic, Language, Information and Computation Buenos Aires, Argentina)
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication