Ritter eike (18 risultati)
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.Powell's Bookstores Chicago, ABAA
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 38,93
EUR 4,39 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good. None. 5th. Minor shelf wear. Else a bright, clean copy. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on…these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2.
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,76
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Der Wunsch nach einer "anderen Medizin" wAchst durch Hoffnungen und EnttAuschungen, die sich mit der modernen Medizin verbinden. Und so wurde das Heilen jA"ngst in unterschiedlichen ZusammenhAngen als verloren gegangene Kunst wieder entdeckt und Affentlich thematisiert. Unkonventionelle Hei…lungsverfahren sind aber nicht nur eine Chance, sondern auch eine Herausforderung fA"r die sogenannte Schulmedizin, ebenso wie fA"r die Theologie, die Psychologie oder sogar die Jurisprudenz. Erstmals erschlieAen nun namhafte Wissenschaftler das Thema Heilung multidisziplinAr und rA"cken es in das Spannungsfeld von Energie und Geist. Biblische Wurzeln von Heilung kommen dabei ebenso zur Sprache wie medizinisches Heilen, Lebenshilfe, Heilung durch Energien oder durch Geister. PhAnomene und Begriffe, die im Kontext von Heilung immer wieder in unterschiedlichen Konnotationen auftauchen, werden auf ihre medizinische, theologische, geistes- und naturwissenschaftliche Konsistenz, Trag- und AnschlussfAhigkeit hin geprA"ft. Letztlich geht es um die fundamentale Frage, mit welchen Bedingungs- und Einflussfaktoren wir bei Heilungsprozessen rechnen kAnnen oder sogar mA"ssen. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 127,28
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Information Systems Security : 5th International Conference, ICISS 2009 Kolkata, India, December 14-18, 2009 Proceedings
Michael Adjedj, Julien Bringer, Ping Chen, Robert Deng, Massimiliano Masi, Eike Ritter
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 40,86
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 325 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Altre immagini
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 193,66
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Oxford University Press, 2004
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 186,15
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 232.
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 186,20
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Altre immagini
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 186,18
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Altre immagini
Lingua: Inglese
Editore: Oxford University Press, GB, 2004
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 232,18
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/mo…del-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .
- Altre immagini
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 231,40
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 221,77
EUR 29,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Altre immagini
Lingua: Inglese
Editore: Clarendon Press, 2004
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 256,15
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Altre immagini
Lingua: Inglese
Editore: Oxford University Press, GB, 2004
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 216,87
EUR 76,06 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/mo…del-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .
Lingua: Inglese
Editore: Oxford University Press, 2004
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 350,87
EUR 9,23 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Discusses the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its applications… in the computational sciences. Series: Oxford Logic Guides. Num Pages: 232 pages, numerous figures & tables. BIC Classification: HPL; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 17. Weight in Grams: 480. . 2004. Hardback. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Oxford University Press, 2004
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 397,53
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Discusses the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its applications… in the computational sciences. Series: Oxford Logic Guides. Num Pages: 232 pages, numerous figures & tables. BIC Classification: HPL; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 17. Weight in Grams: 480. . 2004. Hardback. . . . .
- Altre immagini
Editore: Clarendon Press, Oxford, 2004
- Rilegato
- Prima edizione
Da: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.Evening Star Books, ABAA/ILAB
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 99,59
EUR 5,71 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very near Fine. First edition. 8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine, single gold rule on the front board with three gold rules on the spine. Volume 45 in the Oxford Logic Guid…es series. Series editors Angus MacIntyre, Dov M. Gabbay, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is focused on reductive logics (logics based on the notion of how, given a putative conclusion, a proof may be determined using a non-deterministic procedure choosing amongst possible premises). Reductive logics are of particular interest within the field of computation and the authors examine semantics and proof theory within this context as well as exploring both Intuitionistic and Classical proof systems. A very attractive copy. Very near Fine with a bit of minor rubbing to the rear board.
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,95
EUR 32,52 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Der Wunsch nach einer "anderen Medizin" wAchst durch Hoffnungen und EnttAuschungen, die sich mit der modernen Medizin verbinden. Und so wurde das Heilen jA"ngst in unterschiedlichen ZusammenhAngen als verloren gegangene Kunst wieder entdeckt und Affentlich thematisiert. Unkonventionelle Hei…lungsverfahren sind aber nicht nur eine Chance, sondern auch eine Herausforderung fA"r die sogenannte Schulmedizin, ebenso wie fA"r die Theologie, die Psychologie oder sogar die Jurisprudenz. Erstmals erschlieAen nun namhafte Wissenschaftler das Thema Heilung multidisziplinAr und rA"cken es in das Spannungsfeld von Energie und Geist. Biblische Wurzeln von Heilung kommen dabei ebenso zur Sprache wie medizinisches Heilen, Lebenshilfe, Heilung durch Energien oder durch Geister. PhAnomene und Begriffe, die im Kontext von Heilung immer wieder in unterschiedlichen Konnotationen auftauchen, werden auf ihre medizinische, theologische, geistes- und naturwissenschaftliche Konsistenz, Trag- und AnschlussfAhigkeit hin geprA"ft. Letztlich geht es um die fundamentale Frage, mit welchen Bedingungs- und Einflussfaktoren wir bei Heilungsprozessen rechnen kAnnen oder sogar mA"ssen. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
- Altre immagini
Lingua: Inglese
Editore: OUP Oxford, 2004
- Rilegato
- Print on Demand
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 249,70
EUR 62,59 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on the…se emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .
