Reasoning about Prolog programs : from modes through types to assertions / K.R. Apt, E. Marchiori - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Reasoning about Prolog programs : from modes through types to assertions / K.R. Apt, E. Marchiori

Reasoning about Prolog programs : from modes through types to assertions / K.R. Apt, E. Marchiori

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

6d93a8024580bcefcc5c7fdfea06df85

mainEntity

Reasoning about Prolog programs : from modes through types to assertions / K.R. Apt, E. Marchiori

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

about

author

contributor

inLanguage

en

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

isPartOf

Report / Department of Computer Science

mainEntityOfPage

6d93a8024580bcefcc5c7fdfea06df85

name

Reasoning about Prolog programs : from modes through types to assertions

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

numberOfPages

22

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

publication

8f3148a0233a030b56c4f0dfd68c5faa

sameAs

type

label

Reasoning about Prolog program ...... tions / K.R. Apt, E. Marchiori

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