search for books and compare prices
Maarten De Rijke has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers from the second installment of the workshop...read more (view table of contents, read Amazon.com's description)
Hardcover:
9780863802522 | Research Studies Pr Ltd, October 1, 1999, cover price $105.00 | About this edition: The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area.
Product Description: Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics...read more (view table of contents, read Amazon.com's description)
Hardcover:
9780792347118 | Kluwer Academic Pub, September 1, 1997, cover price $269.00 | About this edition: Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics.
Paperback:
9789048148974 | Springer Verlag, September 1, 1997, cover price $269.00 | About this edition: Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics.
Product Description: The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with human languages...read more
Paperback:
9781575860848 | Stanford Univ Center for the Study, June 1, 1997, cover price $30.00 | About this edition: The papers in this book apply mathematical and logical methods to the description of linguistic structures.
Product Description: Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems...read more
Hardcover:
9781881526971 | Stanford Univ Center for the Study, October 27, 1995, cover price $64.95 | About this edition: Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992.
Product Description: Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems...read more
Paperback:
9781881526988 | Stanford Univ Center for the Study, October 27, 1995, cover price $30.00 | About this edition: Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992.
Product Description: Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory...read more
Hardcover:
9781881526957 | Stanford Univ Center for the Study, July 1, 1995, cover price $64.95 | About this edition: Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists.
Paperback:
9781881526964 | Stanford Univ Center for the Study, June 1, 1995, cover price $30.00 | About this edition: Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists.
displaying 1 to 6 |
at end