• Hours
  • Libraries & Collections
    • Joyner Library
    • Laupus Health Sciences Library
    • Music Library

    • Digital Collections
    • Special Collections
    • Teaching Resources Center
    • The ScholarShip Institutional Repository
    • Country Doctor Museum
  • Get Help
ECU Libraries Catalog
Browse
  • Call Number
  • Title
  • Author
  • Subject
  • Series
Advanced Search
Course Reserves
Suggest a Purchase
My Account
Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.
Find Materials By

Format

  • Electronic3
  • Book1
  • Print1
  • Archival & Manuscript Material0
  • Atlas0

Library Location

  • Joyner Library4
  • Laupus Library3
  • Music Library3

Publication Date

  • Since 20201
  • 2010-20191
  • 2000-20091
  • 1990-19991
  • 1980-19890

Call Number

  • Q - Science1

Collection

  • Joyner E-Resources3
  • Laupus E-Resources3
  • Joyner Stacks1

Language

  • English2

Genre

  • Electronic books3
  • Congresses2
  • Congrès1

Era

    Region

      Search Results

      Did you mean: tatsuo or tetsudo or tetsuro or tetsudō or tetsurō

      Start Over
      You searched for: author Ida, Tetsuo. Remove constraint
      Showing 1 - 4 of 4 results
      • Relevance
      • Year (Descending)
      • Year (Ascending)
      • Author (Ascending)
      • Author (Descending)
      • Title (Ascending)
      • Title (Descending)
      • 10 per page
      • 20 per page
      • 50 per page
      • 100 per page

      Search Results

      Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

      Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

      • by Ida, Tetsuo
      • 2013
      • Format: Electronic
      Location
      Access Content Online
      Cover image for Artificial intelligence and symbolic computation

      Artificial intelligence and symbolic computation

      • by AISC 2006
      • 2006
      • Format: Electronic
      Location
      Access Content Online
      Cover image for Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

      Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

      • by Watt, Stephen M.
      • 2024
      • 1st ed. 2024
      • Format: Electronic
      Location
      Access Content Online
      Cover image for Functional and logic programming

      Functional and logic programming

      • by Fuji International Symposium on Functional and Logic Programming
      • 1999
      • Format: Book
      Location Call # Status
      Joyner - General Stacks QA76.62 .F85 1999 ✔ Available
      East Carolina University
      East Fifth Street | Greenville, NC 27858-4353 USA | 252.328.6131 | Contact Webmaster