Showing
1 - 1
results of
1
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
author_facet:"Aguzzoli, Stefano, 1967-"
topic_facet:"Matematika"
topic_facet:"artificial intelligence"
topic_facet:"computer science"
topic_facet:"počítačová věda"
Search:
Showing
1 - 1
results of
1
for search '
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday /
Published 2007
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
Author: Aguzzoli, Stefano, 1967-
Clear Filter
Suggested Topics: Matematika
Clear Filter
Suggested Topics: artificial intelligence
Clear Filter
Suggested Topics: computer science
Clear Filter
Suggested Topics: počítačová věda
Library
Faculty of Informatics
1
Faculty of Science
1
Format
Book
1
Author
Aguzzoli, Stefano, 1967-
ManyVal Gargnano, Itálie)
1
Language
English
1
Suggested Topics
Matematika
algebraic logic
1
algebraická logika
1
artificial intelligence
computer science
neklasické logiky
1
more ...
non-classical logics
1
počítačová věda
umělá inteligence
1
see all ...
less ...
Genre
sborníky konferencí
1
Year of Publication
From:
To:
×
Loading...