Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics : TPHOLs'96

URI: http://urn.fi/URN:NBN:fi:bib:me:W00084768800
contributor
inLanguage
  • en
isPartOf
name
  • Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics : TPHOLs'96
P60049

Instances

View this in Finna

Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics : TPHOLs'96

URI: http://urn.fi/URN:NBN:fi:bib:me:I00084768800
datePublished
  • 1996
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 519432
  • propertyID: FI-MELINDA value: 000847688
  • propertyID: skl value: fx519432
isbn
  • 9516507816
isPartOf
name
  • Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics : TPHOLs'96
numberOfPages
  • 121, [3] s.
P60048
P60050
publication
  • location: Turku organizer: Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher

Download this resource as RDF: