David Makinson szerző bemutatása:

David Makinson szerző eddig megjelent könyvei:

Halmazok, logika és matematika a számítástechnikában - Sets, Logic and Maths for Computing

Ez a könnyen áttekinthető tankönyv bemutatja azt a...

Hidak a klasszikus logikától a nem monoton logikáig - Bridges from Classical to Nonmonotonic...

Képzeljünk el egy robotot, aki megpróbál felmérni...