Alexander Steen - Böcker

Visar alla böcker från författaren Alexander Steen.

2 produkter

Kategorier

2 produkter

KI 2023: Advances in Artificial Intelligence

46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings

Av Dietmar Seipel, Alexander Steen

Häftad, Engelska, 2023

1 259 kr

Skickas inom 7-10 vardagar

Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III

Av Alexander Steen

Häftad, Engelska, 2018

889 kr

Slutsåld