Propositional logic : deduction and algorithms / Hans Kleine Büning ; Theodor Lettman
Saved in:
| Superior document: | Cambridge tracts in theoretical computer science 48 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Cambridge : Cambridge University Press, 1999 |
| Year of Publication: | 1999 |
| Edition: | 1. publ. in English |
| Language: | English German |
| Series: | Cambridge tracts in theoretical computer science
48 |
| Subjects: | |
| Classification: | 31.10 - Mathematische Logik. Mengenlehre 54.10 - Theoretische Informatik |
| Physical Description: | X, 409 S.; graph. Darst.; 24 cm |
| Notes: | Literaturverz. S. 385 - 402 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01562nam a2200445 cb4500 | ||
|---|---|---|---|
| 001 | 990000667200504498 | ||
| 005 | 20230708214141.0 | ||
| 007 | tu | ||
| 008 | 991006|1999 ||| ||| | eng c | ||
| 009 | AC02616089 | ||
| 015 | |a b9957515 |2 dnb | ||
| 020 | |a 0521630177 | ||
| 035 | |a (AT-OBV)AC02616089 | ||
| 035 | |a AC02616089 | ||
| 035 | |a (Aleph)002614550ACC01 | ||
| 035 | |a (DE-599)OBVAC02616089 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990026145500203331 | ||
| 040 | |a bl |b ger |c 292 |d AT-UBW |e aacr | ||
| 041 | |a eng |h ger | ||
| 044 | |c XA-GB | ||
| 082 | 0 | |a 004.015113 |2 21 | |
| 084 | |a 31.10 |2 bkl |9 O: Automatisch aus GBV_2011-10 2012-05-29 | ||
| 084 | |a 54.10 |2 bkl |9 O: Automatisch aus GBV_2011-10 2012-05-29 | ||
| 084 | |a ST 125 |2 rvk |9 O: Automatisch aus BVB_2012-06 2013-06-03 | ||
| 100 | 1 | |a Kleine Büning, Hans |d 1948- |0 (DE-588)121448339 |4 aut | |
| 240 | 1 | 0 | |a Aussagenlogik: Deduktion und Algorithmen |l engl. |
| 245 | 1 | 0 | |a Propositional logic |b deduction and algorithms |c Hans Kleine Büning ; Theodor Lettman |
| 250 | |a 1. publ. in English | ||
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1999 | |
| 300 | |a X, 409 S. |b graph. Darst. |c 24 cm | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 48 | |
| 500 | |a Literaturverz. S. 385 - 402 | ||
| 650 | 0 | |a Computer logic | |
| 650 | 0 | |a Computer algorithms | |
| 689 | 0 | 0 | |a Aussagenlogik |D s |0 (DE-588)4136098-9 |
| 689 | 0 | 1 | |a Algorithmus |D s |0 (DE-588)4001183-5 |
| 689 | 0 | |5 AT-OBV |5 UBIAU1 | |
| 700 | 1 | |a Lettmann, Theodor |d 1958- |0 (DE-588)170661903 |4 aut | |
| 830 | 0 | |w (AT-OBV)AC00047713 |v 48 | |
| 970 | 1 | |c 23 | |
| 974 | 0 | u | |V 020 |a b0521630177 |
| ADM | |b 2024-03-18 03:20:23 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 05:18:59 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 31330-B |c MAG1-3 |8 2214107510004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 31330-B |8 2214107510004498 | |
| ITM | |9 2214107510004498 |e 1 |m BOOK |b +YW44209 |i 31330-B |2 MAG1-3 |o 20040223 |8 2314107500004498 |f 02 |p 2004-02-23 01:00:00 Europe/Vienna |h 31330-B |1 YWOAW |q 2022-06-08 17:54:35 Europe/Vienna | ||