Showing 1 - 4
of 4
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
Logic, Symbolic and mathematical
2
Computer science
2
Electronic data processing
2
Formal languages
more ...
2
Formal methods (Computer science)
1
Artificial intelligence
1
Computer programs
1
Computer security
1
Data protection
1
Game theory
1
Mathematics
1
Software engineering
1
Uncertainty (Information theory)
see all ...
less ...
Author
4
SpringerLink (Online service)
2
Workshop on Logic, Language, Information and Computation
1
Coecke, Bob
1
Dawar, Anuj
1
Jøsang, Audun,
1
Kohlenbach, U.
more ...
1
Libkin, Leonid,
1
Ong, Luke
1
Panangaden, P.
1
Queiroz, Ruy J. G. B. de
1
Queiroz, Ruy J. G. B. de,
1
Workshop on Logic, Language, Information and Computation Brasilia, Distrito Federal, Brazil)
1
Workshop on Logic, Language, Information and Computation Darmstadt, Germany)
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication