Showing 1 - 15
of 15
for search: '',
query time: 0.12s
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
Format: eBook
Subject: Artificial intelligence
Subject: Formal languages
Institution
Collection
Format
Subject
Artificial intelligence
Formal languages
9
Logic, Symbolic and mathematical
6
Machine theory
5
Computer science
5
Mathematical linguistics
more ...
5
Software engineering
3
Database management
3
Programming languages (Electronic computers)
2
Computer science Mathematics
2
Formal methods (Computer science)
2
Linguistics
1
Artificial intelligence Mathematical models
1
Automatic theorem proving
1
Computer architecture
1
Computer logic
1
Computer security
1
Computer simulation
1
Computer software Verification
1
Computers Social aspects
1
Conceptual structures (Information theory)
1
Data mining
1
Data protection
1
Decision making Mathematical models
1
Intelligent agents (Computer software)
1
Knowledge management
1
Mathematics
1
Mechanical engineering
1
Mechanical engineering General
1
Pattern perception
see all ...
less ...
Author
15
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
Truthe, Bianca,
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abdelwahed, El Hassan,
1
Aguiló, Isabel,
1
Artho, Cyrille,
1
Bellatreche, Ladjel, 1968-
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
ICAART (Conference)
1
ICAART (Conference) Porto, Portugal)
1
ICCS 2010
1
ICCS 2010 Kuching, Sarawak), Malaysia
1
Janousek, Jan,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication