G. Gottlob
3 published titles
Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540633855
- Springer
- 1997
- Details
Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 proceedings
(Contributor)
1 edition
- ISBN: 3540659226
- Springer
- 1999
- Details
Big data : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642394676
- Springer
- 2013
- Details
