Logic-Based Program Synthesis and Transformation [Risorsa elettronica] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla

• Record Nr.: UNINA990009235930403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2007
• ISBN: 9783540714101
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 4407
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Annales Henri Poincaré : a journal of theoretical and mathematical physics

• Record Nr.: UNISA990001046690203316
• Pubbl/distr/stampa: Basel : Birkhäuser, 2000-
• ISSN: 1424-0637
• Descrizione fisica: v. : ill. ; 24 cm
• Disciplina: 530.105
• Soggetti: Fisica teorica - Periodici
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico