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