Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/34773771

Symbolic computation and automated reasoning the CALCULEMUS-2000 Symposium

Open All Close All

type

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

about

http://schema.org/about

author

http://schema.org/author

http://experiment.worldcat.org/entity/work/data/34773771#Meeting/calculemus_symposia_08_2000_st_andrews_ecosse

contributor

http://schema.org/contributor

creator

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/34773771#Meeting/calculemus_2000_symposium_2000_st_andrews_scotland

editor

http://schema.org/editor

genre

http://schema.org/genre

"Conference papers and proceedings"
"Conference papers and proceedings"@en

name

http://schema.org/name

"Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium"
"Symbolic computation and automated reasoning : the Calculemus-2000 Symposium; [6 - 7 August 2000 in St Andrews]"
"Symbolic computation and automated reasoning the CALCULEMUS-2000 Symposium"@en

workExample

http://schema.org/workExample