RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.021 secondi).
Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006)
2007-01-01 B., Cook; Sebastiani, Roberto
Frontiers of Combining Systems
2009-01-01 S., Ghilardi; Sebastiani, Roberto
Journal of Symbolic Computation, Special Issue on Integration of Automated Reasoning and Computer Algebra Systems
2002-01-01 S., Linton; Sebastiani, Roberto
Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems.The Integration of Automated Reasoning and Computer Algebra Systems.
2002-01-01 S., Linton; Sebastiani, Roberto
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories
2007-01-01 B., Cook; Sebastiani, Roberto
Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006)
2007-01-01 B., Cook; Sebastiani, Roberto
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.021 secondi).
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 01 Libro (Book) 6
- 01 Libro (Book)::01.4 Edizione cr... 6
Data di pubblicazione
- 2009 1
- 2007 3
- 2002 2
Editore
- Elsevier 3
- ELSEVIER 1
- IOS Press 1
- Springer 1
Lingua
- eng 5
Accesso al fulltext
- no fulltext 6