0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Formal Aspects of Context (Hardcover, 2000 ed.) Loot Price: R2,918
Discovery Miles 29 180
Formal Aspects of Context (Hardcover, 2000 ed.): Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum

Formal Aspects of Context (Hardcover, 2000 ed.)

Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum

Series: Applied Logic Series, 20

 (sign in to rate)
Loot Price R2,918 Discovery Miles 29 180 | Repayment Terms: R273 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address."

General

Imprint: Springer
Country of origin: Netherlands
Series: Applied Logic Series, 20
Release date: July 2000
First published: July 2000
Editors: Pierre Bonzon • Marcos Cavalcanti • Rolf Nossum
Dimensions: 234 x 156 x 14mm (L x W x T)
Format: Hardcover
Pages: 216
Edition: 2000 ed.
ISBN-13: 978-0-7923-6350-7
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN: 0-7923-6350-7
Barcode: 9780792363507

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Fibonacci Cubes With Applications And…
Omer Egecioglu, Sandi Klavzar, … Hardcover R2,499 Discovery Miles 24 990
Data-Driven Science and Engineering…
Steven L. Brunton, J. Nathan Kutz Hardcover R1,654 R1,527 Discovery Miles 15 270
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,548 Discovery Miles 35 480
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,506 Discovery Miles 35 060
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,220 Discovery Miles 62 200
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,617 Discovery Miles 26 170
Probability in Electrical Engineering…
Jean Walrand Hardcover R1,532 Discovery Miles 15 320
Fundamentals of Logic and Computation…
Zhe Hou Hardcover R900 Discovery Miles 9 000
Schwarz Methods and Multilevel…
Ernst P. Stephan, Thanh Tran Hardcover R4,624 Discovery Miles 46 240
Logic and Implication - An Introduction…
Petr Cintula, Carles Noguera Hardcover R3,330 Discovery Miles 33 300
Hajnal Andreka and Istvan Nemeti on…
Judit Madarasz, Gergely Szekely Hardcover R2,886 Discovery Miles 28 860
Recent Trends in Mathematical Modeling…
Vinai K. Singh, Yaroslav D. Sergeyev, … Hardcover R6,226 Discovery Miles 62 260

See more

Partners