KOBV-Portal

Treffer pro Seite

Treffer 1 - 10 | 11 Treffer

Sortierung

Online-Ressource

From logic design to logic programming : theorem proving techniques and P-functions (1987)

Snyers, Dominique [Verfasser] ; Thayse, André [Verfasser] 1940-

Berlin u.a. : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV035862375

Umfang: 1 Online-Ressource (IV, 125 S.)

ISBN: 3540182179 , 0387182179

Serie: Lecture notes in computer science 271

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Logische Programmierung ; Mathematische Logik ; Logische Programmierung ; Automatisches Beweisverfahren ; Weierstraß-p-Funktion

DOI: 10.1007/3-540-18217-9

URL: Volltext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online-Ressource

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions (1987)

Snyers, Dominique. ; Thayse, André. ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947920877702882

Umfang: IV, 125 p. , online resource.

ISBN: 9783540478119

Serie: Lecture Notes in Computer Science, 271

Anmerkung: Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540182177

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

DOI: 10.1007/3-540-18217-9

URL: http://dx.doi.org/10.1007/3-540-18217-9

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

HU Berlin

UB Potsdam

Online-Ressource

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions (1987)

Snyers, Dominique. ; Thayse, Andre.

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_9959186233102883

Umfang: 1 online resource (IV, 125 p.)

Ausgabe: 1st ed. 1987.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-47811-6

Serie: Lecture Notes in Computer Science, 271

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-18217-9

Sprache: Englisch

DOI: 10.1007/3-540-18217-9

URL: http://dx.doi.org/10.1007/3-540-18217-9

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

FU Berlin

Charité

Buch

From logic design to logic programming : theorem proving techniques and P-functions (1987)

Snyers, Dominique ; Thayse, André 1940-

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV000693805

Umfang: IV, 125 S.

ISBN: 3-540-18217-9 , 0-387-18217-9

Serie: Lecture notes in computer science 271

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Logische Programmierung ; Mathematische Logik ; Logische Programmierung ; Automatisches Beweisverfahren ; Weierstraß-p-Funktion

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

FU Berlin

Online-Ressource

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions (1987)

Snyers, Dominique ; Thayse, André 1940-

Berlin, Heidelberg : Springer Berlin Heidelberg

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1649207360

Umfang: Online-Ressource

ISBN: 9783540478119

Serie: Lecture Notes in Computer Science 271

Weitere Ausg.: ISBN 9783540182177

Weitere Ausg.: Buchausg. u.d.T. Snyers, Dominique From logic design to logic programming Berlin [u.a.] : Springer, 1987 ISBN 3540182179

Weitere Ausg.: ISBN 0387182179

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 140

RVK:

ST 125

RVK:

SS 4800

RVK:

ST 130

Schlagwort(e): Logischer Entwurf ; Programmierlogik ; Automatisches Beweisverfahren ; Formale Semantik

DOI: 10.1007/3-540-18217-9

URL: Volltext

URL: Cover

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

Buch

From logic design to logic programming : theorem proving techniques and p-functions (1987)

Snyers, Dominique [Verfasser] ; Thayse, André [Verfasser] 1940-

Berlin 〈〈[u.a.]〉〉 : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV024690660

Umfang: IV, 125 S. , graph. Darst.

ISBN: 3540182179 , 0387182179

Serie: Lecture notes in computer science 271

Sprache: Unbestimmte Sprache

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Logische Programmierung ; Mathematische Logik ; Logische Programmierung ; Automatisches Beweisverfahren ; Weierstraß-p-Funktion

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

Buch

From logic design to logic programming : theorem proving techniques and P-functions (1987)

Snyers, Dominique [Verfasser] ; Thayse, André [Verfasser] 1940-

Berlin u.a. : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV000693805

Umfang: IV, 125 S.

ISBN: 3540182179 , 0387182179

Serie: Lecture notes in computer science 271

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Logische Programmierung ; Mathematische Logik ; Logische Programmierung ; Automatisches Beweisverfahren ; Weierstraß-p-Funktion

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

Online-Ressource

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions (1987)

Snyers, Dominique. ; Thayse, Andre.

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edocfu_9959186233102883

Umfang: 1 online resource (IV, 125 p.)

Ausgabe: 1st ed. 1987.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-47811-6

Serie: Lecture Notes in Computer Science, 271

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-18217-9

Sprache: Englisch

DOI: 10.1007/3-540-18217-9

URL: http://dx.doi.org/10.1007/3-540-18217-9

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

FU Berlin

Online-Ressource

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions (1987)

Snyers, Dominique. ; Thayse, Andre.

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edoccha_9959186233102883

Umfang: 1 online resource (IV, 125 p.)

Ausgabe: 1st ed. 1987.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-47811-6

Serie: Lecture Notes in Computer Science, 271

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-18217-9

Sprache: Englisch

DOI: 10.1007/3-540-18217-9

URL: http://dx.doi.org/10.1007/3-540-18217-9

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

Charité

Buch

From logic design to logic programming : theorem proving techniques and P-functions (1987)

Snyers, Dominique ; Thayse, André 1940-

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_024094277

Umfang: IV, 125 S. , graph. Darst.

ISBN: 3540182179 , 0387182179

Serie: Lecture notes in computer science 271

Anmerkung: Literaturverz. S. [121] - 125

Weitere Ausg.: Online-Ausg. Snyers, Dominique From logic design to logic programming Berlin [u.a.] : Springer, 1987 ISBN 9783540478119

Weitere Ausg.: Erscheint auch als Online-Ausgabe Snyers, Dominique From Logic Design to Logic Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1987 ISBN 9783540478119

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Logischer Entwurf ; Programmierlogik ; Automatisches Beweisverfahren ; Formale Semantik ; Automatisches Beweisverfahren ; Logische Programmierung ; Weierstraß-p-Funktion

URL: Cover

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

Treffer 1 - 10 | 11 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Kooperativer Bibliotheksverbund

Berlin Brandenburg