Inheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. Jacobs - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Inheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. Jacobs

Inheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. Jacobs

http://data.bibliotheken.nl/id/nbt/p191483176

5d2954f1b59def3ad606406b1bb37def

mainEntity

Inheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. Jacobs

http://data.bibliotheken.nl/id/nbt/p191483176

about

author

contributor

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Technical report / Computing Science Institute

mainEntityOfPage

5d2954f1b59def3ad606406b1bb37def

name

Inheritance in higher order logic : modeling and reasoning

http://www.w3.org/2001/XMLSchema#string

numberOfPages

18

http://www.w3.org/2001/XMLSchema#integer

publication

955f874e7f217b490eba97c8e0315f81

sameAs

type

label

Inheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. Jacobs

http://www.w3.org/2001/XMLSchema#string