Logicheskie metody v programmirovanii

Materias

• Logic programming
• Computer programming

Ediciones (1)

• Logicheskie metody v programmirovanii (1987)

  Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki · ruso

Más obras de I︠U︡riĭ Leonidovich Ershov

MMathematical logic

Mathematical logic

1984

MMulti-valued fields

Multi-valued fields

2001

Matematika v prilozhenii︠a︡kh