461. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/
پدیدآورنده : Brewka,Gethard;Jantke,K.P;Schmitt,P.H.1948
موضوع : Logic programming-congresses
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
462. 6800 programming for logic design
پدیدآورنده : Osborne, Adam.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(
463. programs-as-Adapting proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
464. year perspective on logic programming-A 25
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Gruppo Ricercatori e Utenti Logic Programming. ; Logic programming. ;
