Showing 1 - 19
of 19
for search: '"Artificial intelligence."',
query time: 0.26s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Formal languages
Institution
Collection
Format
Subject
19
Artificial intelligence
Formal languages
12
Logic, Symbolic and mathematical
7
Computer science
7
Machine theory
6
Software engineering
more ...
5
Mathematical linguistics
3
Database management
3
Formal methods (Computer science)
3
Programming languages (Electronic computers)
3
Uncertainty (Information theory)
2
Computer logic
2
Computer science Mathematics
2
Computer security
2
Data protection
2
Linguistics
2
Logic
1
Artificial intelligence Mathematical models
1
Automatic theorem proving
1
Computer algorithms
1
Computer architecture
1
Computer science Study and teaching
1
Computer simulation
1
Computer software Verification
1
Computers Social aspects
1
Conceptual structures (Information theory)
1
Data mining
1
Data structures (Computer science)
1
Decision making Mathematical models
1
Electronic data processing
see all ...
less ...
Author
19
SpringerLink (Online service)
6
LATA (Conference)
4
Horia Dediu, Adrian
4
Martín Vide, Carlos
2
Horia Dediu, Adrian,
2
Martín Vide, Carlos,
more ...
2
Méry, Dominique,
2
Truthe, Bianca,
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abdelwahed, El Hassan,
1
Aguiló, Isabel,
1
Artho, Cyrille,
1
Bellatreche, Ladjel, 1968-
1
Böckenhauer, Hans-Joachim,
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Ciucci, Davide
1
Croitoru, Madalina
1
DCFS (Workshop)
1
Fernau, Henning, 1965-
1
Ferré, Sébastien
1
Filipe, Joaquim,
1
Golfarelli, Matteo,
1
González Hidalgo, Manuel,
1
Hawblitzel, Chris
1
Herik, H. J. van den
1
Houdek, Frank,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication