Logic for computer science

Logic for computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Reeves, Steve (Συγγραφέας), Clarke, Michael (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Wokingham Addison-Wesley Publishing Company 1990
Θέματα:
Επιστήμη των υπολογιστών > Μαθηματικά
Λογική
LEADER 01928nam a2200349 u 4500
001 10008846
003 upatras
005 20210117204122.0
008 881025s1990 uk eng
020 |a 0201416433 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 004.015 113 
100 1 |a Reeves, Steve  |4 aut  |9 99269 
245 1 0 |a Logic for computer science  |c Steve Reeves, Michael Clarke 
260 |a Wokingham  |b Addison-Wesley Publishing Company  |c 1990 
300 |a xi, 260 p.  |b fig.  |c 24 cm. 
504 |a Includes solutions, references and index 
650 4 |a Επιστήμη των υπολογιστών  |x Μαθηματικά  |9 875 
650 4 |a Λογική  |9 325 
700 1 |a Clarke, Michael  |4 aut  |9 123037 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 004.015 113 REE  |m 074727  |p 025000120037  |t 2 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 004.015 113 REE  |m 075104  |p 025000117690  |t 3 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 004.015 113 REE  |m 058997  |p 025000049431  |t 4 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 004.015 133 REE  |m 18617  |p 025000026059  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 004_015000000000000_113_REE  |7 0  |9 135596  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 074727  |l 0  |o 004.015 113 REE  |p 025000120037  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 004_015000000000000_113_REE  |7 0  |9 135597  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 075104  |l 0  |o 004.015 113 REE  |p 025000117690  |r 2016-04-24 00:00:00  |t 3  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 004_015000000000000_113_REE  |7 0  |9 135598  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 058997  |l 0  |o 004.015 113 REE  |p 025000049431  |r 2016-04-24 00:00:00  |t 4  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 004_015000000000000_133_REE  |7 0  |9 135599  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 18617  |l 0  |o 004.015 133 REE  |p 025000026059  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΒΑΣΙΛΕΙΟΥ  |d 2004-08 
999 |c 88830  |d 88830 

Παρόμοια τεκμήρια