Linked Data Explorerhttp://worldcat.org/entity/work/id/13056389
Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/modele_fini
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/logisch_programmeren
- http://id.loc.gov/authorities/subjects/sh85078115
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/informatique_mathematiques_congres
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/logica
- http://id.loc.gov/authorities/subjects/sh2008101221
- http://id.worldcat.org/fast/1002068
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/concurrence
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/demonstration_theoreme
- http://id.loc.gov/authorities/subjects/sh2008107112
- http://id.loc.gov/authorities/subjects/sh85042295
- http://id.worldcat.org/fast/872460
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_lineaire
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/fundamentele_informatica
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_symbolique_et_mathematique_congres
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_type
- http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_categorie
http://schema.org/contributor
- http://id.loc.gov/authorities/names/n79018777
- http://experiment.worldcat.org/entity/work/data/13056389#Organization/university_of_indiana_bloomington
- http://experiment.worldcat.org/entity/work/data/13056389#Organization/indiana_university_bloomington
- http://experiment.worldcat.org/entity/work/data/13056389#Organization/ieee_computer_society
- http://viaf.org/viaf/155801218
http://schema.org/genre
- "Conference papers and proceedings"@en
http://schema.org/name
- "Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en
- "Logic in computer science proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en
- "Logic in computer science proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en
- "Thirteenth annual IEEE symposium on logic in computer science"@en
- "Logic in computer science : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en