- Brown, C. E. - -
Brown, C. E. - Automated Reasoning In Higher-order Logic: Set Comprehension And Extensionality In Church's Type Theory (studies In Logic, Logic And Cognitive Systems, Band 10)
Brand: Brown, C. E. -
EAN:
9781904987574MPN: m01904987575
Kategorie: Bücher & Zeitschriften
Brand : College Publications, Binding : Taschenbuch, Label : College Publications, Publisher : College Publications, medium : Taschenbuch, numberOfPages : 564, publicationDate : 2007-10-30, releaseDate : 2007-10-23, authors : Brown, C. E., ISBN : 1904987575
Preise vergleichen ab:
Brown, C. E. - in Bücher & Zeitschriften