Multi-Agent Systems and Applications VHans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, Laszlo VargaHäftad549 kr
Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterInbunden1 269 kr
Del 12842Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das, Sara NegriHäftad549 kr