Your search returned 970 results.

Sort
Results
421.
Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 6700
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

422.
Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4720
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

423.
Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 6489
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

424.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5195
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

425.
426.
Grammatical Inference: Algorithms and Applications [electronic resource] : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3264
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

427.
428.
429.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9161
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

430.
Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7717
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

431.
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence [electronic resource] : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 2011 / by Series: Lecture Notes in Artificial Intelligence ; 7070
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

432.
Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 6463
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

433.
Text, Speech and Dialogue [electronic resource] : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5246
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

434.
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6619
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

435.
436.
437.
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3809
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

438.
439.
Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4539
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

440.
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4363
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in