skip to main content
Lingue:

Risutati 1 - 10 di 115  per Ricerca globale

Risultati 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computational logic and proof theory : third Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993 proccedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Computational logic and proof theory : third Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993 proccedings

Kurt Gödel colloquium KGC'93 3. Brno 1993 ; Gottlob, Georg

Berlin etc. : Springer-Verlag, copyr. 1993

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2161935300003316()

2
Computer science logic : International workshop, CSL '98 annual conference of the EACSL Brno, Czech Republic, August 24-28, 1998 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Computer science logic : International workshop, CSL '98 annual conference of the EACSL Brno, Czech Republic, August 24-28, 1998 proceedings

International workshop CSl '98 12 Brno 1998 ; Gottlob, Georg

Berlin etc. : Springer-Verlag, copyr. 1999

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2161921600003316()

3
Computational logic and proof theory : 5th Kurt Godel colloquim, KGC'97 :Vienna, Austria, August 25-29, 1997 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Computational logic and proof theory : 5th Kurt Godel colloquim, KGC'97 :Vienna, Austria, August 25-29, 1997 proceedings

Kurt Godel colloquim KGC'97 5. Vienna 1997 ; Gottlob, Georg

Berlino : Springer-Verlag, copyr. 1997

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2161919650003316()

4
Expert systems in engineering : principles and applications international workshop Vienna, Austria, September 24-26, 1990 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Expert systems in engineering : principles and applications international workshop Vienna, Austria, September 24-26, 1990 proceedings

GOTTLOB, Georg ; NEJDL, Wolfgang

Berlin etc. : Springer-Verlag, copyr. 1990

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Tecnologica  39USA_INST:2152317220003316 (e in altre biblioteche)()

5
Database theory- ICDT'95 : 5th international conference, Prague, Czech Republic, January 11-13, 1995 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Database theory- ICDT'95 : 5th international conference, Prague, Czech Republic, January 11-13, 1995 proceedings

Gottlob, Georg ; Vardi, Moshe Y.

Berlin etc. : Springer-Verlag, copyr. 1995

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2154697620003316()

6
Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004 Budapest, Hungary, September 22-25, 2004 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004 Budapest, Hungary, September 22-25, 2004 proceedings

East European Conference, ADBIS 2004 <8.; 2004; Budapest>. ; BENCZU'R, Andràs ; DEMETROVICS, Jànos ; GOTTLOB, Georg

Berlinetc. : Springer, copyr. 2004

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2164103090003316()

7
Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Nick Bassiliades editor.; Georg Gottlob editor.; Fariba Sadri editor.; Adrian Paschke editor.; Dumitru Roman editor.

Accesso online

8
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM

Gottlob, Georg ; Manna, Marco ; Pieris, Andreas

Theory and Practice of Logic Programming, 2016, Vol.16(1), pp.139-139 [Rivista Peer Reviewed]

Fulltext disponibile

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A front row seat to Communications' editorial transformation

Aho, Alfred ; Gottlob, Georg

Communications of the ACM, 01 April 2014, Vol.57(4), pp.5-5 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On minimal constraint networks

Gottlob, Georg

Artificial Intelligence, November 2012, Vol.191-192, pp.42-60 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 115  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 (80)
  2. Risorse online (109)
  3. In biblioteca (6)

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Libri 
  3. Atti di convegno 
  4. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del1994 
  2. 1994-1999 
  3. 2000-2005 
  4. 2006-2012 
  5. Dopo il 2012 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Gottlob, Georg
  2. Gottlob, G.
  3. Eiter, Thomas
  4. Eiter, T.
  5. Pichler, Reinhard

Ricerca in corso nelle risorse remote ...