Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier. by
Material type: Text Text
Publication details: New York John Wiley 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N877.

2.
No cover image available
Logic for computer science foundation of automatic theorem proving by Jean H. Gallier by Series: Harper and Row Computer Science and Technology Series
Material type: Text Text
Publication details: New York Harper & Row, Pub. 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861;2.

Place hold
3.
No cover image available
Logic for computer science foundations of automatic theorem proving by Jean H. Gallier by Series: Harper And Row Computer Science and Technology Series
Material type: Text Text
Publication details: Cambridge Harper & Row, Pub. 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861.

Place hold
4.
Logic for computer science - foundations of automatic theorem proving by Jean H. Gallier by Series: Harper & Row computer science and technology series
Material type: Text Text
Publication details: Cambridge Harper & Row 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N861;1 R(T).

5.
Differential Geometry and Lie Groups A Second Course by Jean Gallier and Jocelyn Quaintance by Series: Geometric and computing 13 ;
Material type: Text Text
Publication details: USA Springer 2020
Availability: Items available for loan: Electrical Engineering (1)Call number: 516.36 GAL/D.

Place hold
6.
Differential Geometry and Lie Groups A Computational Perspective by Jean Gallier and Jocelyn Quaintance. by Series: Geometry and Computing 12 ;
Material type: Text Text
Publication details: USA Springer 2020
Availability: Items available for loan: Electrical Engineering (1)Call number: 516.36 GAL/D.

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832