×

Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Musik
- Musik im Club
- CD
- Vinyl
- Notenblätter

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/5401/0231/1/9783540102311xxl.webp

Using Sophisticated Models in Resolution Theorem Proving

Kartonierter Einband
260 Seiten

(0) Erste Bewertung abgeben

Inhalt
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

20%

86.00 CHF 68.80

Sie sparen CHF 17.20

Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.

Bestellung & Lieferung in eine Filiale möglich

Produktinformationen

Titel:	Using Sophisticated Models in Resolution Theorem Proving
Autor:	David M. Sandford
EAN:	9783540102311
ISBN:	3540102310
Format:	Kartonierter Einband
Herausgeber:	Springer Berlin Heidelberg
Anzahl Seiten:	260
Gewicht:	400g
Größe:	H235mm x B155mm x T14mm
Jahr:	1980
Untertitel:	Englisch
Auflage:	1980

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 70

Semantics of Concurrent Computation

Teil 71

Automata, Languages, and Programming

Teil 72

Symbolic and Algebraic Computation

Teil 73

Graph-Grammars and Their Application to Computer Science and Biology

Teil 74

Mathematical Foundations of Computer Science 1979

Teil 75

Mathematical Studies of Information Processing

Teil 76

Codes for Boundary-Value Problems in Ordinary Differential Equations

Teil 77

Architecture of Distributed Computer Systems

G. Bochmann, P. v. Klein

Teil 78

Edinburgh LCF

M. Gordon, R. Milner, C. P. Wadsworth

Teil 79

Language Design and Programming Methodology

Teil 80

Pictorial Information Systems

Teil 81

Data Base Techniques for Pictorial Application

Teil 82

A Relational Theory of Computing

John G. Sanderson

Teil 83

International Symposium on Programming

Teil 84

Net Theory and Applications

Teil 85

Automata, Languages and Programming

Teil 86

Abstract Software Specifications

Teil 87

5th Conference on Automated Deduction

Teil 88

Mathematical Foundations of Computer Science 1980

Teil 89

Computer Aided Design Modelling, Systems Engineering, CAD-Systems

Teil 90

Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford

Sie sind hier.

Teil 91

Grammar and L Forms

Teil 92

A Calculus of Communicating Systems

Teil 93

Context-Free Grammars

Teil 94

Semantics-Directed Compiler Generation

Teil 95

Coroutines

Teil 96

Computer Programs for Spelling Correction

Teil 97

Reliability Evaluation of Some Fault-Tolerant Computer Architectures

T. Nishio, S. Osaki

Teil 98

Towards a Formal Description of Ada

Teil 99

Algebraic Semantics

Teil 100

Graphtheoretic Concepts in Computer Science

Teil 101

Boolean Calculus of Differences

Teil 102

On the Integration of Algebraic Functions

J. H. Davenport

Teil 103

Directions in Human Factors for Interactive Systems

H. Ledgard, J. Whiteside, A. Singer

Teil 105

Distributed Systems - Architecture and Implementation

D. W. Davies, E. Holler, E. D. Jensen

Teil 106

The Programming Language Ada

Cii Honeywell Bull

Teil 107

Formalization of Programming Concepts

Teil 108

Graph Theory and Algorithms

Teil 109

Digital Image Processing Systems

Teil 110

The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs

W. Dehning, S. Maass, H. Essig

Teil 111

CONPAR 81

Zuletzt angesehen

Verlauf löschen

Muränen - Kurzsichtige Jäger im Korallenriff (Wand... Andrea Hess Bücher Deutsch

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Möchten Sie regelmässig brandaktuelle Neuheiten, Tipps und News zu Ex Libris erhalten? Wir halten Sie auf dem Laufenden. Lassen Sie sich inspirieren!