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 174  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
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()

3
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()

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
Logics for Unranked Trees: An Overview
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Logics for Unranked Trees: An Overview

Libkin, Leonid ; Gottlob, Georg

Logical methods in computer science, 2006-07-26, Vol.2 (3) [Rivista Peer Reviewed]

Fulltext disponibile

8
Complexity and expressive power of logic programming
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and expressive power of logic programming

Dantsin, Evgeny ; Eiter, Thomas ; Gottlob, Georg ; Voronkov, Andrei

ACM computing surveys, 2001, Vol.33 (3), p.374-425 [Rivista Peer Reviewed]

Fulltext disponibile

9
The DLV System for Knowledge Representation and Reasoning
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The DLV System for Knowledge Representation and Reasoning

Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Perri, Simona ; Scarcello, Francesco

Fulltext disponibile

10
Efficient algorithms for processing XPath queries
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Efficient algorithms for processing XPath queries

Gottlob, Georg ; Koch, Christoph ; Pichler, Reinhard

ACM Transactions on Database Systems (TODS), 2005-06-01, Vol.30 (2), p.444-491 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 174  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 (93)
  2. Risorse online (168)
  3. In biblioteca (6)

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 del1993 
  2. 1993-1998 
  3. 1999-2004 
  4. 2005-2011 
  5. Dopo il 2011 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...