KOBV Portal

Book

Symbolic logic and mechanical theorem proving / (1973)

Chang, Chin-Liang ; Lee, Richard C. 1956-

New York [u.a.] :Acad. Press,

add to watchlist on the watchlist

Details

UID:

almafu_BV001946783

Format: XIII, 331 S. : , graph. Darst.

ISBN: 0-12-170350-9

Series Statement: Computer science and applied mathematics

Language: English

Subjects: Comparative Studies. Non-European Languages/Literatures , Mathematics

RVK:

ES 930

RVK:

SK 130

Keywords: Mathematische Logik ; Beweistheorie ; Optimierung ; Nichtnumerisches Verfahren ; Nichtnumerische Datenverarbeitung ; LISP ; Logik ; Automatisches Beweisverfahren

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001269027&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

TU Berlin

Book

Symbolic logic and mechanical theorem proving (1994)

Chang, Chin-Liang ; Lee, Richard Char-Tung 1939-

San Diego [u.a.] : Acad. Press

add to watchlist on the watchlist

Details

UID:

gbv_082891478

Format: XIII, 331 S , graph. Darst.

Edition: [Nachdr.]

ISBN: 0121703509

Series Statement: Computer science classics

Language: English

URL: http://www.loc.gov/catdir/description/els032/87001443.html

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Book

Symbolic logic and mechanical theorem proving (1985)

Chang, Chin-Liang [Verfasser] ; Lee, Richard C. [Verfasser] 1956-

Orlando u.a. : Acad. Press

add to watchlist on the watchlist

Details

UID:

b3kat_BV006320879

Format: XIII,331 S.

Edition: 6. print.

ISBN: 0121703509

Series Statement: Computer science and applied mathematics.

Language: Undetermined

Subjects: Mathematics

RVK:

SK 130

Keywords: Mathematische Logik ; Beweistheorie ; Optimierung ; Nichtnumerisches Verfahren ; Nichtnumerische Datenverarbeitung ; LISP ; Logik ; Automatisches Beweisverfahren

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Symbolic logic and mechanical theorem proving (1987)

Chang, Chin-Liang [Verfasser] ; Lee, Richard C. [Verfasser] 1956-

Boston u.a. : Acad. Pr.

add to watchlist on the watchlist

Details

UID:

b3kat_BV002279899

Format: XIII, 331 S.

Edition: Repr.

ISBN: 0121703509

Series Statement: Computer science classics

Note: Literaturverz. S. 309 - 324

Language: English

Subjects: Computer Science

RVK:

ST 125

Keywords: Mathematische Logik ; Beweistheorie ; Optimierung ; Nichtnumerisches Verfahren ; Nichtnumerische Datenverarbeitung ; LISP ; Logik ; Automatisches Beweisverfahren

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Symbolic logic and mechanical theorem proving (1990)

Chang, Chin-Liang ; Lee, Richard Char-Tung 1939-

San Diego [u.a.] : Academic Press

add to watchlist on the watchlist

Details

UID:

gbv_49772037X

Format: XIII, 331 S , graph. Darst.

Edition: 3. [print.]

ISBN: 0121703509

Series Statement: Computer science classics

Note: 〈1〉 [Publisher description] =A http://www.loc.gov/catdir/description/els032/87001443.html

Language: English

Subjects: Computer Science , Mathematics

RVK:

SK 130

RVK:

ST 304

Keywords: Mathematische Logik ; Automatisches Beweisverfahren

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Book

Symbolic logic and mechanical theorem proving (1973)

Chang, Chin-Liang ; Lee, Richard Char-Tung

London u.a. :Academic Press,

add to watchlist on the watchlist

Details

UID:

kobvindex_ZIB000000821

Format: 331 S.

ISBN: 0-12-170350-9

Series Statement: Computer science and applied mathematics

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Zuse-Institut Berlin

Book

Symbolic ligic and mechanical theorem proving / (1987)

Chang, Chin-Liang ; Lee, Richard Char-Tung, 1939-

Boston [u. a.] :Acad. Pr.,

add to watchlist on the watchlist

Details

UID:

almahu_BV025280809

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

ISBN: 0-12-170350-9

Series Statement: Computer science classics

Language: German

Subjects: Comparative Studies. Non-European Languages/Literatures , Mathematics

RVK:

SK 130

RVK:

ES 930

Keywords: Mathematische Logik ; Beweistheorie ; Optimierung ; Nichtnumerisches Verfahren ; Nichtnumerische Datenverarbeitung ; LISP

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

hits 1 - 7 | 7 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