Welcome to Central Library, SUST

Your search returned 33 results.

Not what you expected? Check for suggestions
Sort
Results
1.
C++ neural networks and fuzzy logic / Valluru B. Rao and Hayagriva V. Rao. by
  • Rao, Valluru
  • Rao, Hayagriva V
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : BPB Publication, 1996
Availability: Items available for loan: Central Library, SUST (5)Call number: 006.3 RAC, ...

2.
Computing with logic : logic programming with Prolog / David Maier, David S. Warren. by
  • Maier, David, 1953-
  • Warren, David S
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Menlo Park, Calif. : Benjamin/Cummings Pub. Co., c1988
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 MAC, ...

3.
Duns Scotus on time and existence [electronic resource] : the questions on Aristotle's On interpretation / translated with introduction and commentary by Edward Buckner and Jack Zupko. by
  • Duns Scotus, John, approximately 1266-1308
  • Buckner, Edward, 1955- [translator.]
  • Project Muse
Series: UPCC book collections on Project MUSE
Material type: Text Text; Literary form: Not fiction
Language: English Original language: Latin
Publication details: Washington, D.C. : Catholic University of America Press, 2014. 2015)
Online access:
Availability: No items available.

4.
Peeling potatoes or grinding lenses [electronic resource] : Spinoza and young Wittgenstein converse on immanence and its logic / Aristides Baltas. by
  • Baltas, Aristeidēs
  • Project Muse
Series: UPCC book collections on Project MUSE
Material type: Text Text; Literary form: Not fiction
Publication details: Pittsburgh, Pa. : University of Pittsburgh Press, c2012. 2015)
Online access:
Availability: No items available.

5.
Computational Semantics with Functional Programming / Jan van Eijck, Christina Unger. by
  • van Eijck, Jan [author.]
  • Unger, Christina [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

6.
Programming in Visual Basic 2010 : The Very Beginner's Guide / Jim McKeown. by
  • McKeown, Jim [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

7.
The Emergence of Meaning / Stephen Crain. by
  • Crain, Stephen [author.]
Series: Cambridge Studies in Linguistics ; 135 | Cambridge Studies in Linguistics ; 135.
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

8.
Programming with Higher-Order Logic / Dale Miller, Gopalan Nadathur. by
  • Miller, Dale [author.]
  • Nadathur, Gopalan [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

9.
Truth and words [electronic resource] / Gary Ebbs. by
  • Ebbs, Gary
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2009
Online access:
Availability: No items available.

10.
The logic of language [electronic resource] / Pieter A.M. Seuren. by
  • Seuren, Pieter A. M
Series: Language from within ; v. 2.
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2009
Online access:
Availability: No items available.

11.
Donald Davidson's truth-theoretic semantics [electronic resource] / Ernest Lepore, Kirk Ludwig. by
  • LePore, Ernest, 1950-
  • Ludwig, Kirk, 1959-
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Clarendon, 2007
Online access:
Availability: No items available.

12.
The unity of the proposition [electronic resource] / Richard Gaskin. by
  • Gaskin, Richard, 1960-
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2008
Online access:
Availability: No items available.

13.
Astrolinguistics [electronic resource] : Design of a Linguistic System for Interstellar Communication Based on Logic / by Alexander Ollongren. by
  • Ollongren, Alexander [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

14.
The Language of Mathematics [electronic resource] : A Linguistic and Philosophical Investigation / by Mohan Ganesalingam. by
  • Ganesalingam, Mohan [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7805
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

15.
Natural Language Processing and Information Systems [electronic resource] : 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera. by
  • Métais, Elisabeth [editor.]
  • Meziane, Farid [editor.]
  • Saraee, Mohamad [editor.]
  • Sugumaran, Vijayan [editor.]
  • Vadera, Sunil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7934
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

16.
Collected Papers VI. Literary Reality and Relationships [electronic resource] / by Alfred Schutz ; edited by Michael Barber. by
  • Schutz, Alfred [author.]
  • Barber, Michael [editor.]
  • SpringerLink (Online service)
Series: Phaenomenologica, Series Founded by H.L. van Breda and Published Under the Auspices of the Husserl-Archives ; 206
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

17.
Paraconsistency: Logic and Applications [electronic resource] / edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli. by
  • Tanaka, Koji [editor.]
  • Berto, Francesco [editor.]
  • Mares, Edwin [editor.]
  • Paoli, Francesco [editor.]
  • SpringerLink (Online service)
Series: Logic, Epistemology, and the Unity of Science ; 26
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

18.
The Nature of Truth [electronic resource] : An updated approach to the meaning of truth ascriptions / by Maria Jose Frapolli. by
  • Frapolli, Maria Jose [author.]
  • SpringerLink (Online service)
Series: Logic, Epistemology, and the Unity of Science ; 29
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

19.
Around the Tree [electronic resource] : Semantic and Metaphysical Issues Concerning Branching and the Open Future / edited by Fabrice Correia, Andrea Iacona. by
  • Correia, Fabrice [editor.]
  • Iacona, Andrea [editor.]
  • SpringerLink (Online service)
Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 361
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

20.
Advances in Generative Lexicon Theory [electronic resource] / edited by James Pustejovsky, Pierrette Bouillon, Hitoshi Isahara, Kyoko Kanzaki, Chungmin Lee. by
  • Pustejovsky, James [editor.]
  • Bouillon, Pierrette [editor.]
  • Isahara, Hitoshi [editor.]
  • Kanzaki, Kyoko [editor.]
  • Lee, Chungmin [editor.]
  • SpringerLink (Online service)
Series: Text, Speech and Language Technology ; 46
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

Pages