Berger, Ulrich. Schwichtenberg, Helmut.
Computational Logic : NATO Series, Vol. F 165 - Berlin Springer 1999 - 444p - NATO ASI Series F: Computer and Systems Sciences, Vol. 165 .
3 540 64589 6
Computational Logic
681.3 BER
Computational Logic : NATO Series, Vol. F 165 - Berlin Springer 1999 - 444p - NATO ASI Series F: Computer and Systems Sciences, Vol. 165 .
3 540 64589 6
Computational Logic
681.3 BER