scientific article; zbMATH DE number 7272368
From MaRDI portal
Publication:5133479
zbMath1446.68151MaRDI QIDQ5133479
Gabriele Kern-Isberner, Steven Kutsch, Christoph Beierle
Publication date: 10 November 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Functional programming and lambda calculus (68N18) Knowledge representation (68T30)
Related Items
Uses Software