skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Risutati 1 - 10 di 6.621  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The DL-Lite Family and Relations
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The DL-Lite Family and Relations

Artale, A ; Calvanese, D ; Kontchakov, R ; Zakharyaschev, M

The Journal of artificial intelligence research, 2009-10-15, Vol.36, p.1-69 [Rivista Peer Reviewed]

Fulltext disponibile

2
Hypertableau Reasoning for Description Logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Hypertableau Reasoning for Description Logics

Motik, B ; Shearer, R ; Horrocks, I

The Journal of artificial intelligence research, 2009-10-28, Vol.36, p.165-228 [Rivista Peer Reviewed]

Fulltext disponibile

3
QED at Large: A Survey of Engineering of Formally Verified Software
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

QED at Large: A Survey of Engineering of Formally Verified Software

Ringer, Talia ; Palmskog, Karl ; Sergey, Ilya ; Gligoric, Milos ; Tatlock, Zachary

Fulltext disponibile

4
The sheaf-theoretic structure of non-locality and contextuality
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The sheaf-theoretic structure of non-locality and contextuality

Abramsky, Samson ; Brandenburger, Adam

New journal of physics, 2011-11-01, Vol.13 (11), p.113036 [Rivista Peer Reviewed]

Fulltext disponibile

5
The Logical Difference for the Lightweight Description Logic EL
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Logical Difference for the Lightweight Description Logic EL

Konev, B ; Ludwig, M ; Walther, D ; Wolter, F

The Journal of artificial intelligence research, 2012-08-17, Vol.44, p.633-708 [Rivista Peer Reviewed]

Fulltext disponibile

6
A Hierarchy of Scheduler Classes for Stochastic Automata
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

A Hierarchy of Scheduler Classes for Stochastic Automata

D'Argenio, Peo R ; Gerhold, Marcus ; Hartmanns, Arnd ; Sedwards, Sean ; Baier, Christel ; Dal Lago, Ugo

Lecture notes in computer science, 2018-01-01, p.384-402 [Rivista Peer Reviewed]

Fulltext disponibile

7
A FORMAL PROOF OF THE KEPLER CONJECTURE
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A FORMAL PROOF OF THE KEPLER CONJECTURE

HALES, THOMAS ; ADAMS, MARK ; BAUER, GERTRUD ; DANG, TAT DAT ; HARRISON, JOHN ; HOANG, LE TRUONG ; KALISZYK, CEZARY ; MAGRON, VICTOR ; MCLAUGHLIN, SEAN ; NGUYEN, TAT THANG ; NGUYEN, QUANG TRUONG ; NIPKOW, TOBIAS ; OBUA, STEVEN ; PLESO, JOSEPH ; RUTE, JASON ; SOLOVYEV, ALEXEY ; TA, THI HOAI AN ; TRAN, NAM TRUNG ; TRIEU, THI DIEP ; URBAN, JOSEF ; VU, KY ; ZUMKELLER, ROLAND

Forum of mathematics. Pi, 2017, Vol.5, p.1-29 [Rivista Peer Reviewed]

Fulltext disponibile

8
Interacting Hopf algebras
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Interacting Hopf algebras

Bonchi, Filippo ; Sobociński, Paweł ; Zanasi, Fabio

Journal of pure and applied algebra, 2017-01, Vol.221 (1), p.144-184 [Rivista Peer Reviewed]

Fulltext disponibile

9
Knowing Values and Public Inspection
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Knowing Values and Public Inspection

van Eijck, J ; Gattinger, M ; Wang, Y ; Ghosh, S ; Prasad, S

Lecture notes in computer science, 2017, p.77-90 [Rivista Peer Reviewed]

Fulltext disponibile

10
Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours

Fischer, Nick ; van Glabbeek, Rob

Fulltext disponibile

Risutati 1 - 10 di 6.621  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1.477)

Affina i risultati

Nuove accessioni 

  1. Dall'ultimo Mese 
  2. Dagli Ultimi 3 Mesi 
  3. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2001 
  2. 2001-2005 
  3. 2006-2010 
  4. 2011-2016 
  5. Dopo il 2016 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...