LNCS: Lecture Notes In Computer Science

& (eds.)
Springer Verlag (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,661

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

The Kinds of Truth of Geometry Theorems.  (pages 129-142)Michael Bulmer, Desmond Fearnley-Sander & Tim Stokes

Similar books and articles

The Kinds of Truth of Geometry Theorems.Michael Bulmer, Desmond Fearnley-Sander & Tim Stokes - 2001 - In Jürgen Jürgen Richter-Gebert & Dongming Wang (eds.), LNCS: Lecture Notes In Computer Science. Springer Verlag. pp. 129-142.
Lecture Notes in Computer Science (LNCS) 9394.Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang (eds.) - 2015 - Springer.
Lecture Notes in Computer Science (LNCS).Paavo Pylkkänen - 2016 - Springer Publishing Company.
Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750.K. Lodaya (ed.) - 2013
Yablo sequences in truth theories.Cezary Cieśliński - 2013 - In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. pp. 127--138.
Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734).Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
Lecture Notes In Computer Science.O. Stock & M. Schaerf (eds.) - 2006 - Springer Verlag.
Advances in Computer Games. ACG 2021. Lecture Notes in Computer Science.C. Browne, A. Kishimoto & J. Schaeffer (eds.) - 2022 - Springer.
Lecture Notes in Computer Science 9535.Atmanspacher Filk and Pothos (ed.) - 2016 - Springer.
What is an algorithm.Yuri Gurevich - 2012 - Lecture Notes in Computer Science.

Analytics

Added to PP
2016-10-09

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Context Update for Lambdas and Vectors.Reinhard Muskens & Mehrnoosh Sadrzadeh - 2016 - In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Rétoré (eds.), Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016). Berlin, Germany: Springer. pp. 247--254.

Add more citations

References found in this work

No references found.

Add more references