Showing 1 - 19
of 19
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Conference papers and proceedings
Subject: Formal languages
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Formal languages
Logic, Symbolic and mathematical
10
Artificial intelligence
9
Computer science
9
Software engineering
3
Computer science Mathematics
more ...
3
Database management
2
Computer logic
2
Computer software Verification
2
Data structures (Computer science)
2
Formal methods (Computer science)
2
Machine theory
1
Artificial intelligence Mathematical models
1
Automatic theorem proving
1
Computer algorithms
1
Computer architecture
1
Computer programs
1
Computer security
1
Computer simulation
1
Computers Social aspects
1
Conceptual structures (Information theory)
1
Cryptography
1
Data mining
1
Data protection
1
Decision making Mathematical models
1
Electronic data processing
1
Functional programming (Computer science)
1
Game theory
1
Information theory
1
Intelligent agents (Computer software)
see all ...
less ...
Author
19
SpringerLink (Online service)
3
International Colloquium on Grammatical Inference
2
Legay, Axel,
2
Méry, Dominique,
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
more ...
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abdelwahed, El Hassan,
1
Achten, Peter, 1967-
1
Aguiló, Isabel,
1
Artho, Cyrille,
1
Bansal, Nikhil,
1
Bellatreche, Ladjel, 1968-
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Ciucci, Davide
1
Clark, Alexander
1
Coecke, Bob
1
Conference on Developments in Language Theory
1
Conference on Developments in Language Theory Tokyo, Japan)
1
Coste, François
1
Croitoru, Madalina
1
DCFS (Workshop)
1
ESA (Symposium)
1
ESA (Symposium) Patrai, Greece)
1
ETAPS (Conference)
1
Ferré, Sébastien
1
Filipe, Joaquim,
1
Finocchi, Irene,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication