Showing 1 - 5
of 5
for search: '',
query time: 0.07s
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: Software engineering
Subject: Formal languages
Institution
Collection
Format
Subject
Artificial intelligence
Formal languages
5
Logic, Symbolic and mathematical
Software engineering
3
Computer science
1
Automatic theorem proving
more ...
1
Computer architecture
1
Computer science Mathematics
1
Computer software Verification
1
Database management
1
Formal methods (Computer science)
1
Intelligent agents (Computer software)
1
Knowledge management
see all ...
less ...
Author
5
SpringerLink (Online service)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abdelwahed, El Hassan,
1
Artho, Cyrille,
1
Bellatreche, Ladjel, 1968-
more ...
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Filipe, Joaquim,
1
Golfarelli, Matteo,
1
Hawblitzel, Chris
1
Herik, H. J. van den
1
ICAART (Conference)
1
ICAART (Conference) Porto, Portugal)
1
Kuznetsov, Sergei O.
1
Legay, Axel,
1
MEDI (Conference)
1
MEDI (Conference) Marrakesh, Morocco)
1
Miller, Dale
1
Méry, Dominique,
1
Ordonez, Carlos (Computer scientist)
1
Osipov, G. S.
1
Peled, Doron A., 1962-
1
Rocha, Ana Paula,
1
Russian Conference on Artificial Intelligence
1
Russian Conference on Artificial Intelligence Moscow, Russia)
1
Stefanuk, Vadim,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication