Summary: 3
Grundlagen
der
Darstellung
und
Verarbeitung
von
Information
3.4
Prädikatenlogik
3­99
M
=
4­
(x,y)#
(v,w)
2­
(x,y)
:=
(x,y)#

Source: Arndt, Holger - Fachgruppe Mathematik, Fachbereich Mathematik-Naturwissenschaften, Bergische Universität Wuppertal

Collections: Computer Technologies and Information Sciences