top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Challenges for Action Theories [[electronic resource] /] / by Michael Thielscher
Challenges for Action Theories [[electronic resource] /] / by Michael Thielscher
Autore Thielscher Michael
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (XIV, 146 p.)
Disciplina 004.2/1
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Artificial Intelligence
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 3-540-45596-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.
Record Nr. UNISA-996465626003316
Thielscher Michael  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Challenges for Action Theories / / by Michael Thielscher
Challenges for Action Theories / / by Michael Thielscher
Autore Thielscher Michael
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (XIV, 146 p.)
Disciplina 004.2/1
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Artificial Intelligence
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 3-540-45596-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.
Record Nr. UNINA-9910143636503321
Thielscher Michael  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui