Showing 1 - 16
of 16
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer science
Formal languages
13
Logic, Symbolic and mathematical
7
Artificial intelligence
6
Software engineering
3
Computer science Mathematics
more ...
3
Data structures (Computer science)
3
Electronic data processing
3
Logic
3
Programming languages (Electronic computers)
2
Computer logic
2
Computer software Verification
2
Formal methods (Computer science)
2
Uncertainty (Information theory)
1
Automatic theorem proving
1
Combinatorial analysis
1
Computer algorithms
1
Computer programs
1
Computer security
1
Conceptual structures (Information theory)
1
Data mining
1
Data protection
1
Database management
1
Functional programming (Computer science)
1
Game theory
1
Intelligent agents (Computer software)
1
Linguistics
1
Logic design
1
Machine theory
1
Mathematica (Computer program language)
see all ...
less ...
Author
16
SpringerLink (Online service)
2
Conference on Developments in Language Theory
2
Legay, Axel,
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Achten, Peter, 1967-
more ...
1
Artho, Cyrille,
1
Bansal, Nikhil,
1
Béal, Marie-Pierre
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Carton, Olivier
1
Coecke, Bob
1
Conference on Developments in Language Theory Marne-la-Vallée, France)
1
Conference on Developments in Language Theory Warsaw, Poland)
1
Croitoru, Madalina
1
Day, Adam,
1
Downey, R. G.
1
ESA (Symposium)
1
ESA (Symposium) Patrai, Greece)
1
ETAPS (Conference)
1
Fellows, M. R. 1952-
1
Ferré, Sébastien
1
Filipe, Joaquim,
1
Finocchi, Irene,
1
Greenberg, Noam,
1
Ha, Quang Thuy,
1
Hawblitzel, Chris
1
Herik, H. J. van den
1
Hofman, Piotrek,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication