01484cam0 2200289 450 E60020005433720160408093117.020091001d1569 |||||ita|0103 balatFRVolumen legum paruum, quod vocantin quo haec insunt: Tres posteriores libri Codicis DN. Justiniani... Authenticae seu Nouellae constitutiones eiusdem principis: in quas quid operae sit impensum, tertia ab hinc pagina Antonii Contii... commonstrat. Feudorum libri duo. Constitutiones Friderici 2. Imperatoris. Extrauagantes duae Henrici 7. Imperatoris. Tractatus de pace Constantiae. Omnia commentariis suis illustrata, & sedulo recognitaLugduni[Symphorien Béraud]1569[9] c., 324, 642 col., [1] c., 190 col., [5] c.32 cm.(mm)Marca sui front. di Symphorien BéraudCorpus iuris civilis. CodexA60020005716958619Leconte, Antoine (1517-1586)A600200057156070Iustinianus Augustus <imperatore d'Oriente>AF00019480070ITUNISOB20160408RICAUNISOBUNISOBFondo|Casavola146810E600200054337M 103 Monografia antica SBNMFondo|CasavolaIX-1No146810CasavoladonomenleUNISOBUNISOB20091001114246.020160408093117.0menleRilegato con Fondo Casavola IX -2Corpus Iuris Civilis. Codex58619UNISOB02249oam 2200529Ka 450 991026063450332120190624182803.0(CKB)2670000000263546(SSID)ssj0000715533(PQKBManifestationID)11472385(PQKBTitleCode)TC0000715533(PQKBWorkID)10700631(PQKB)10350540(WaSeSS)Ind00065843(OCoLC)827303967(OCoLC)705969359(OCoLC)1058744947(OCoLC-P)827303967(MaCbMITP)4313(EXLCZ)99267000000026354620130212d1993 uy 0engur|||||||||||txtccrLogic programming languages constraints, functions, and objects /edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. RuttenCambridge, Mass. MIT Press©19931 online resource (xv, 207 p.)Logic programmingBibliographic Level Mode of Issuance: Monograph0-262-25564-2 Includes bibliographical references."This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming."Logic programming languagesLogic programmingCOMPUTER SCIENCE/Artificial IntelligenceCOMPUTER SCIENCE/Programming LanguagesLogic programming languages.005.13/1Apt Krzysztof R.1949-753382Bakker J. W. de(Jacobus Willem),1939-1208027Rutten J. J. M. M1208028OCoLC-POCoLC-PBOOK9910260634503321Logic programming languages2787044UNINA