Search Results for -- ANSİKLOPEDİLER. - Narrowed by: SpringerLink (Online service) - 2012 - Algebra -- Data processing. - Artificial intelligence. - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Algebra$002b--$002bData$002bprocessing.$002509Algebra$002b--$002bData$002bprocessing.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-31T21:33:17Z
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2024-08-31T21:33:17Z
2024-08-31T21:33:17Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-08-31T21:33:17Z
2024-08-31T21:33:17Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197592
2024-08-31T21:33:17Z
2024-08-31T21:33:17Z
Author Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>