Visas
1 - 1
av
1
resultat för sökning '
'
Hoppa till innehåll
Toggle navigation
VuFind
Mitt konto
Logga ut
Logga in
Språk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Alla fält
Titel
Upphovsman
Ämne
Signum
ISBN/ISSN
Tagg
Sök
Avancerad
Rensa filter
Materialtyp:
Konferenspublikation
Rekommenderade teman:
Computer science
Genre:
Kongress
Region:
Bertinoro (2003)
Språk:
English
Rensa filter
Visa begränsningar (5)
Materialtyp:
Konferenspublikation
Rekommenderade teman:
Computer science
Genre:
Kongress
Region:
Bertinoro (2003)
Språk:
English
Sökresultat
Rekommenderade teman
Rekommenderade teman
Automatic theorem proving
1
BANCO DE DADOS (PROJETO)
1
Computer science
Data processing
1
Démonstration automatique
1
INTELIGÊNCIA ARTIFICIAL
1
Information storage and retrieval systems
1
mer ...
Informatique
1
Mathematics
1
Mathematik
1
Mathématiques
1
RECUPERAÇÃO DA INFORMAÇÃO
1
Systèmes d'information
1
Théorèmes
1
Wissensmanagement
1
mindre ...
Visas
1 - 1
av
1
resultat för sökning '
'
, Sökningstid : 0,09s
Förfina resultatet
Sortera
Relevans
Tid (nyaste först)
Tid (äldsta först)
Signum
Upphovsman
Titel
1
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
Berlin ; New York : Springer, 2003
Signum:
Laddar...
Placering:
Laddar...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Konferenspublikation
Bok
Sökverktyg:
RSS-flöde
—
Skicka sökningen per e-post
—
Spara sökningen
Back
Begränsa sökningen
Organisation
Pennsylvania State University
1
Temple University
1
University of Pennsylvania
1
West Virginia University
1
Materialtyp
Bok
1
Konferenspublikation
Signum
Q - Science
1
Upphovsman
Asperti, Andrea
1
Buchberger, Bruno
1
Davenport, James Harold, 1953-
1
MKM 2003 Bertinoro, Italy
1
Språk
English
Genre
Conference papers and proceedings
1
Congresses
1
Congrès
1
Kongress
Tidsperiod
2003
1
Region
Bertinoro
1
Bertinoro (2003)
Utgivningsår
Från och med:
Till:
Laddar...