Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science, 14330)
Product Description
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science, 14330)
Technical Specifications
You might also like
2024 Pregnancy Promoted Big Bro Leveling Up to Big Brother T-Shirt, Youth, Orange, 4T
Halloween Nurse Skull Roses Poison Bottles Design T-Shirt, Men, Dark Heather Grey, 3X-Large
Push-Pull Valve AirTAC 3L110-06 1/8" NPT 3/2 Way Hand Lever 2 Position 3 Way Pneumatic Air Manual Control Direct Acting Type 0-145 PSI
Poker Dice Set Ace K Q J 10 9 – 16mm Multi-Color Card Symbols – White Squared Corners Clubs Ace – Discontinued Series (6 Sets - Party Pack)
Elsons Music Dictionary: Containing the Definition and Pronunciation of Such Terms and Signs as Are Used in Modern Music
Högvördiga Preste-ståndets Protokoll Vid Lagtima Riksdagen I Stockholm... (Swedish Edition)
Prussia And The Franco-Prussian War: Containing A Brief Narrative Of The Origin Of The Kingdom, Its Past History (1872)
Der strafprozessuale Vergleich (German Edition)