Work

Logic implemented functionally

Year: 1997

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/bfb0033855

Authors: Norbert Eisinger, Tim Geisler, Sven Panne

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W1538496752

FWCI:

Cites: 32

Cited by:

Related to: 10