KOBV Portal

Book

Intelligente Software-Agenten : Grundlagen, Technik und praktische Anwendung im Unternehmen (1998)

Caglayan, Alper K. [Verfasser] ; Harrison, Colin G. [Verfasser]

München [u.a.] : Hanser

add to watchlist on the watchlist

Details

UID:

b3kat_BV011767392

Format: XII, 332 S. , Ill., graph. Darst.

ISBN: 3446192697

Uniform Title: Agent sourcebook

Language: German

Subjects: Computer Science

RVK:

ST 230

RVK:

ST 285

RVK:

ST 300

Keywords: Agent ; Unternehmen ; Agent ; Unternehmen ; Agent

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

EUV Frankfurt

TH Brandenburg

HTW Berlin

FH Potsdam

BTU Cottbus

TU Berlin

Book

Handbook of practical logic and automated reasoning (2009)

Harrison, John [Verfasser] 1966-

Cambridge, United Kingdom : Cambridge University Press

add to watchlist on the watchlist

Details

UID:

b3kat_BV035313108

Format: xix, 681 Seiten , Diagramme

ISBN: 9780521899574

Note: Hier auch später erschienene, unveränderte Nachdrucke

Language: English

Subjects: Computer Science , Mathematics

RVK:

SK 130

RVK:

ST 125

Keywords: Mathematische Logik ; Informatik

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

BTU Cottbus

TU Berlin

Book

Theorem proving with the real numbers (1998)

Harrison, John [Verfasser]

London [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV011923067

Format: XII, 186 S. , graph. Darst.

ISBN: 3540762566

Series Statement: Distinguished dissertations

Note: Zugl.: Cambridge, Univ., Diss.

Language: English

Subjects: Computer Science

RVK:

ST 304

Keywords: HOL ; Reelle Zahl ; Automatisches Beweisverfahren ; Computeralgebra ; Reelle Zahl ; Hochschulschrift ; Hochschulschrift

URL: Inhaltsverzeichnis

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Berlin VÖBB/ZLB

TU Berlin

Online Resource

Handbook of practical logic and automated reasoning (2009)

Harrison, John [Verfasser] 1966-

Cambridge [u.a.] : Cambridge Univ. Press

add to watchlist on the watchlist

Details

UID:

b3kat_BV036879143

Format: 1 Online-Ressource

ISBN: 9780511576430 , 9780511505188

Additional Edition: Erscheint auch als Druck-Ausgabe, Hardcover ISBN 978-0-521-89957-4

Language: English

Subjects: Computer Science , Mathematics

RVK:

SK 130

RVK:

ST 125

Keywords: Mathematische Logik ; Informatik

DOI: 10.1017/CBO9780511576430

URL: Volltext (URL des Erstveröffentlichers)

URL: https://doi.org/10.1017/CBO9780511576430

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HU Berlin

UB Potsdam

Online Resource

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (1996)

Wright, Joakim von 1955- ; Grundy, Jim ; Harrison, John

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649330057

Format: Online-Ressource

ISBN: 9783540706410

Series Statement: Lecture Notes in Computer Science 1125

Additional Edition: ISBN 9783540615873

Additional Edition: Buchausg. u.d.T. Theorem proving in higher order logics Berlin : Springer, 1996 ISBN 3540615873

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: HOL ; Automatisches Beweisverfahren ; Konferenzschrift

DOI: 10.1007/BFb0105392

URL: Volltext

URL: Inhaltstext

Author information: Wright, Joakim von 1955-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

Book

Intelligente Software-Agenten : Grundlagen, Technik und praktische Anwendung im Unternehmen (1998)

Caglayan, Alper K. ; Harrison, Colin G. ; Caglayan, Alper K.

München : Hanser

add to watchlist on the watchlist

Details

UID:

gbv_239812182

Format: XII, 332 S. , graph. Darst. , 23 cm

ISBN: 3446192697

Uniform Title: Agent sourcebook 〈dt.〉

Note: Literaturverz. S. 315 - 324

Language: German

Subjects: Computer Science , Economics

RVK:

ST 300

RVK:

ST 285

RVK:

QH 500

Keywords: Unternehmen ; Agent

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

hits 1 - 6 | 6 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg