Showing
1 - 5
results of
5
for search '
'
Skip to content
Feedback
Your Account
Log Out
Login
Česky
For information on the current operation of libraries, see their
websites
.
All Fields
Title
Author
Subject
ISBN/ISSN
Call Number
Barcode
System Number
Find
Advanced Search
Advanced Search
Retain current filters
format:"Book"
genre_facet:"proceedings of conferences"
topic_facet:"Počítačová věda. Výpočetní technika. Informační technologie"
topic_facet:"umělá inteligence"
Search:
Showing
1 - 5
results of
5
for search '
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
2
K-CAP 2009 proceedings of the fifth International Conference on Knowledge Capture : September 1-4, 2009, Redondo Beach, California, USA
Published 2009
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
3
ICAPS 2009 : proceedings of the nineteenth International Conference on Automated Planning and Scheduling : Thessaloniki, Greece, September 19-23, 2009 /
Published 2009
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
4
ITP 2010 IJCAR 2010 ; CAV 2010 ; SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings ; Time for verification : essays in memory of Amir Pnueli
Published 2010
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
5
Computational and statistical methods in intelligent systems /
Published 2019
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Remove Filters
Clear Filter
Format: Book
Clear Filter
Genre: proceedings of conferences
Clear Filter
Suggested Topics: Počítačová věda. Výpočetní technika. Informační technologie
Clear Filter
Suggested Topics: umělá inteligence
Library
Faculty of Informatics
3
Faculty of Law
1
Faculty of Science
1
Format
Book
Author
AISMC (konference) Steyr, Rakousko)
1
Automated Reasoning
1
Calmet, Jacques, 1941-
1
Campbell, J. A., 1940-
1
Computer Aided Verification
1
Gerevini, Alfonso
1
more ...
Interactive Theorem Proving Edinburgh, Skotsko)
1
International Conference on Automated Planning and Scheduling Soluň, Řecko)
1
International Conference on Knowledge Capture Redondo Beach, Kalifornie)
1
Pfalzgraf, Jochen
1
Prokopová, Zdenka, 1965-
1
Theory and Applications of Satisfiability Testing
1
Šilhavý, Petr
1
Šilhavý, Radek
1
see all ...
less ...
Language
English
5
Suggested Topics
Počítačová věda. Výpočetní technika. Informační technologie
artificial intelligence
5
umělá inteligence
computational methods
1
computer science
1
expert systems
1
more ...
expertní systémy
1
inteligentní systémy
1
intelligent systems
1
knowledge management
1
počítačová věda
1
programming languages
1
programovací jazyky
1
software engineering
1
softwarové inženýrství
1
statistical methods
1
statistické metody
1
výpočetní metody
1
znalostní management
1
see all ...
less ...
Genre
proceedings of conferences
sborníky konferencí
5
Year of Publication
From:
To:
×
Loading...