Result: Logic in Computer Science

*Title*:

Logic in Computer Science / by Hantao Zhang, Jian Zhang

*Author/editor-in-chief*:

*Edition*:

1st ed. 2025

*Publication*:

Singapore : Springer Nature Singapore, 2025

*Distribution*:

Cham : Springer International Publishing AG

*Physical description scale*:

1 Online-Ressource (XVII, 483 Seiten) : 42 illus.

*Format*:

*eBook*

*Language*:

*eng*

*Other edition entry*:

Erscheint auch als Druck-Ausgabe: Zhang, Hantao. Logic in Computer Science. - Singapore : Springer Nature Singapore, 2025. - ISBN 9789819798155

*ISBN*:

9789819798162 ; 9819798167 ; 9789819798155 (Sekundärausgabe) ; 9789819798179 (Sekundärausgabe)

*DOI*:

10.1007/978-981-97-9816-2

*Result*: Logic in Computer Science