B3Kat (1/1)

Speichern in

Loop checking in logic programming

Verfasser: Bol, Roland N.
Schlagwörter: Logische Programmierung

Buch

(Services, Fernleihe und weitere eXtras)

Bestand im BVB:

Bestand im KOBV:

Permalink:

https://gateway-bayern.de/BV005424780

Letzte Änderung: 06.07.1992

Titel:	Loop checking in logic programming
Von:	door Roland Nicolaas Bol
Erscheinungsjahr:	1991
Umfang:	201 S.
Fußnote :	Univ. van Amsterdam, Diss., 1991
Sprache:	eng
Angaben zum Inhalt/Datenträger :	Hochschulschrift
Thema (Schlagwort):	Logische Programmierung; Schleifentest

MARC-Felder:

LEADER	00000nam a2200000 c 4500
001	BV005424780
003	DE-604
007	t
008	920706s1991 m\|\|\| 00\|\|\| engod
035			\|a (OCoLC)256130657
035			\|a (DE-599)BVBBV005424780
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-29T \|a DE-83
100	1		\|a Bol, Roland N. \|e Verfasser \|4 aut
245	1	0	\|a Loop checking in logic programming \|c door Roland Nicolaas Bol
264		1	\|c 1991
300			\|a 201 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Univ. van Amsterdam, Diss., 1991
650	0	7	\|a Schleifentest \|0 (DE-588)4298164-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0	1	\|a Schleifentest \|0 (DE-588)4298164-5 \|D s
689	0		\|5 DE-604
999			\|a oai:aleph.bib-bvb.de:BVB01-003392047