Search Results for "computation-and-reasoning-a-type-theory-for-computer-science-international-series-of-monographs-on-computer-science"

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Proceedings

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Automatic theorem proving
  • Page: N.A
  • View: 5080
DOWNLOAD NOW »

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

International Conference on Typed Lambda Calculi and Applications, TLCA : Proceedings

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Lambda calculus
  • Page: N.A
  • View: 5122
DOWNLOAD NOW »

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Computer logic
  • Page: N.A
  • View: 4955
DOWNLOAD NOW »

Source Code Analysis and Manipulation

Source Code Analysis and Manipulation

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Source code (Computer science)
  • Page: N.A
  • View: 5897
DOWNLOAD NOW »

The Cumulative Book Index

The Cumulative Book Index

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 386
DOWNLOAD NOW »

Books in Print

Books in Print

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 2287
DOWNLOAD NOW »

Subject Guide to Books in Print

Subject Guide to Books in Print

An Index to the Publishers' Trade List Annual

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 2733
DOWNLOAD NOW »

Science in China

Science in China

Technological sciences

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Technological sciences
  • Page: N.A
  • View: 2883
DOWNLOAD NOW »

Types for Proofs and Programs

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

  • Author: Stefano Berardi,Mario Coppo
  • Publisher: Springer
  • ISBN: N.A
  • Category: Automatic theorem proving
  • Page: 296
  • View: 6122
DOWNLOAD NOW »
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

Automated Deduction - Cade-13

Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

  • Author: Michael A. McRobbie,J.K. Slaney
  • Publisher: Springer
  • ISBN: N.A
  • Category: Computers
  • Page: 764
  • View: 4485
DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

SCAM 2002

SCAM 2002

Second IEEE International Workshop on Source Code Analysis and Manipulation : proceedings : 1 October, 2002, Montreal, Canada

  • Author: N.A
  • Publisher: IEEE
  • ISBN: N.A
  • Category: Computers
  • Page: 183
  • View: 1509
DOWNLOAD NOW »

Principles and Practice of Declarative Programming

Principles and Practice of Declarative Programming

International Conference PPDP ... Proceedings

  • Author: N.A
  • Publisher: N.A
  • ISBN: 9781581137057
  • Category: Declarative programming
  • Page: 284
  • View: 8946
DOWNLOAD NOW »

Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

PPDP.

  • Author: N.A
  • Publisher: N.A
  • ISBN: 9781581137057
  • Category: Declarative programming
  • Page: 284
  • View: 2297
DOWNLOAD NOW »

Proceedings of the Symposium on Software Reusability

Proceedings of the Symposium on Software Reusability

  • Author: Mansur H. Samadzadeh,Mansour K. Zand
  • Publisher: N.A
  • ISBN: N.A
  • Category: Computer software
  • Page: 272
  • View: 1633
DOWNLOAD NOW »

The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

  • Author: David J. Pym
  • Publisher: Springer
  • ISBN: 9781402007453
  • Category: Philosophy
  • Page: 290
  • View: 5882
DOWNLOAD NOW »
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: • Resources as a basis for semantics; • Proof-search as a basis for reasoning; and • The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.

The Design of Everyday Things

The Design of Everyday Things

Psychologie und Design der alltäglichen Dinge

  • Author: Norman Don
  • Publisher: Vahlen
  • ISBN: 3800648105
  • Category: Business & Economics
  • Page: 320
  • View: 5208
DOWNLOAD NOW »
Apple, Audi, Braun oder Samsung machen es vor: Gutes Design ist heute eine kritische Voraussetzung für erfolgreiche Produkte. Dieser Klassiker beschreibt die fundamentalen Prinzipien, um Dinge des täglichen Gebrauchs umzuwandeln in unterhaltsame und zufriedenstellende Produkte. Don Norman fordert ein Zusammenspiel von Mensch und Technologie mit dem Ziel, dass Designer und Produktentwickler die Bedürfnisse, Fähigkeiten und Handlungsweisen der Nutzer in den Vordergrund stellen und Designs an diesen angepasst werden. The Design of Everyday Things ist eine informative und spannende Einführung für Designer, Marketer, Produktentwickler und für alle an gutem Design interessierten Menschen. Zum Autor Don Norman ist emeritierter Professor für Kognitionswissenschaften. Er lehrte an der University of California in San Diego und der Northwest University in Illinois. Mitte der Neunzigerjahre leitete Don Norman die Advanced Technology Group bei Apple. Dort prägte er den Begriff der User Experience, um über die reine Benutzbarkeit hinaus eine ganzheitliche Erfahrung der Anwender im Umgang mit Technik in den Vordergrund zu stellen. Norman ist Mitbegründer der Beratungsfirma Nielsen Norman Group und hat unter anderem Autohersteller von BMW bis Toyota beraten. „Keiner kommt an Don Norman vorbei, wenn es um Fragen zu einem Design geht, das sich am Menschen orientiert.“ Brand Eins 7/2013 „Design ist einer der wichtigsten Wettbewerbsvorteile. Dieses Buch macht Spaß zu lesen und ist von größter Bedeutung.” Tom Peters, Co-Autor von „Auf der Suche nach Spitzenleistungen“

Programmverifikation

Programmverifikation

Sequentielle, parallele und verteilte Programme

  • Author: Krzysztof R. Apt,Ernst-Rüdiger Olderog
  • Publisher: Springer-Verlag
  • ISBN: 3642579477
  • Category: Computers
  • Page: 258
  • View: 7387
DOWNLOAD NOW »

Knowledge Representation and Metaphor

Knowledge Representation and Metaphor

  • Author: E. Cornell Way
  • Publisher: Springer Science & Business Media
  • ISBN: 9401579415
  • Category: Computers
  • Page: 272
  • View: 6633
DOWNLOAD NOW »
This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psychol ogy through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelligence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimental, and methodological studies will also appear from time to time. The problems posed by metaphor and analogy are among the most challenging that confront the field of knowledge representation. In this study, Eileen Way has drawn upon the combined resources of philosophy, psychology, and computer science in developing a systematic and illuminating theoretical framework for understanding metaphors and analogies. While her work provides solutions to difficult problems of knowledge representation, it goes much further by investigating some of the most important philosophical assumptions that prevail within artificial intelligence today. By exposing the limitations inherent in the assumption that languages are both literal and truth-functional, she has advanced our grasp of the nature of language itself. J.R.F.

Relationen und Graphen

Relationen und Graphen

  • Author: Gunther Schmidt,Thomas Ströhlein
  • Publisher: Springer-Verlag
  • ISBN: 3642836089
  • Category: Mathematics
  • Page: 306
  • View: 2011
DOWNLOAD NOW »
Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.

Handbuch der Lehre von der Verteilung der Primzahlen

Handbuch der Lehre von der Verteilung der Primzahlen

  • Author: E. Landau
  • Publisher: Рипол Классик
  • ISBN: 5876738352
  • Category: History
  • Page: 564
  • View: 5575
DOWNLOAD NOW »