cam a22 u 4500 279862679 CHVBK 20200922104115.0 130818s1992 xxk|||||||||| 00 |eng d 0-521-41723-6 (IDSBB)000873991 (NEBIS)000668698 SzZuIDS BS/BE A100 ger kids 004 15 ST 120 rvk ST 130 rvk Padawitz Peter Deduction and declarative programming Peter Padawitz Cambridge Cambridge University Press [1992] © 1992 VI, 279 S. 26 cm Cambridge tracts in theoretical computer science 28 28 (IDSBB)000538946 277980569 Deklarative Programmierung idsbb Deduktion idsbb APPLIKATIVE PROGRAMMIERUNG + FUNKTIONALE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger (ETHUDK)000041086 ethudk AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger (ETHUDK)000012522 ethudk HORNKLAUSELN (MATHEMATISCHE LOGIK) ger (ETHUDK)000044876 ethudk SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger (ETHUDK)000013698 ethudk u APPLIKATIVE PROGRAMMIERUNG + FUNKTIONALE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger 004*04*03*02 nebis E1 u AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger 510.662,5 nebis E1 u HORNKLAUSELN (MATHEMATISCHE LOGIK) ger 510.67,1 nebis E1 u SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger 004*04*04*02 nebis E1 u PROGRAMMATION APPLICATIVE + PROGRAMMATION FONCTIONNELLE (MÉTHODES DE PROGRAMMATION) fre 004*04*03*02 nebis E1 u APPLICATIVE PROGRAMMING + FUNCTIONAL PROGRAMMING (PROGRAMMING METHODS) eng 004*04*03*02 nebis E1 u DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE) fre 510.662,5 nebis E1 u AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC) eng 510.662,5 nebis E1 u HORN CLAUSES (MATHEMATICAL LOGIC) eng 510.67,1 nebis E1 u CLAUSES DE HORN (LOGIQUE MATHÉMATIQUE) fre 510.67,1 nebis E1 u SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL) fre 004*04*04*02 nebis E1 u SPECIFICATIONS (SOFTWARE ENGINEERING) eng 004*04*04*02 nebis E1 BK020000 XK020000 XK020000 if SzZuIDS BS/BE IDSBB A100 A100 100FM UBH Kt 5318 Akz: ba/uub-/k/195705 NEBIS E01 E01 MG P 716523: 28 IDSBB 100 1- Padawitz Peter IDSBB 490 0- Cambridge tracts in theoretical computer science 28 28 (IDSBB)000538946 277980569 NEBIS 490 -- Cambridge tracts in theoretical computer science 28 28 (NEBIS)000069508 277980569 NEBIS 700 1- Padawitz Peter SWISSBIB 279862679