A tableaux calculus for ambiguous quantification / Christof Monz, Maarten de Rijke - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

A tableaux calculus for ambiguous quantification / Christof Monz, Maarten de Rijke

A tableaux calculus for ambiguous quantification / Christof Monz, Maarten de Rijke

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

20fcf0e498eb4ed783c2ceb4b7e2d863

mainEntity

A tableaux calculus for ambiguous quantification / Christof Monz, Maarten de Rijke

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

about

author

contributor

inLanguage

en

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

isPartOf

ILLC scientific publications

mainEntityOfPage

20fcf0e498eb4ed783c2ceb4b7e2d863

name

A tableaux calculus for ambiguous quantification

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

numberOfPages

18

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

publication

a18508cafedd557867b2811f5f6ad7a8

sameAs

type

label

A tableaux calculus for ambiguous quantification / Christof Monz, Maarten de Rijke

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